Dr. Sean Kauffman comes to Queen's after spending the last two years as a Postdoctoral Researcher at Aalborg University in Denmark under Professor Kim Larsen. He obtained his Ph.D. in Electrical and Computer Engineering at the University of Waterloo after leaving his role as a principal software engineer for Oracle. Sean's research focuses on safety-critical software and fits into the broad themes of Formal Methods, Runtime Verification, Anomaly Detection, and Explainable AI. He has collaborated on research with partners such as NASA's Jet Propulsion Laboratory, the Embedded Systems Institute, QNX, and Pratt and Whitney Canada. Sean's teaching philosophy focuses on fostering engagement, using techniques like active learning, productive failure, and peer instruction. He is excited to join a Queen's University community that is so visibly passionate about making a difference in the world through research and teaching.