Sean Kauffman PhD

Assistant Professor

Faculty, Electrical and Computer Engineering
Phone: 613-533-6000 ext. 77360
Walter Light Hall, Room: 611

Expertise: Formal methods, Real-time Systems, Software Engineering
Sean Kauffman
Biography Research Teaching Publications

Sean Kauffman is an Assistant Professor in the Department of Electrical and Computer Engineering at Queen’s University.  Before coming to Queen’s, Sean obtained his Ph.D. in Electrical and Computer Engineering at the University of Waterloo and spent two years as a Postdoctoral Researcher at Aalborg University in Denmark. Sean came back to academia after spending more than ten years working in industry as a software engineer, where his last position was 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.

  • Runtime verification
  • Real-time software
  • Functional safety
  • Trace comprehension
  • Specification mining
  • Anomaly detection
  • Formal Security
APSC 142: Introduction to Computer Programming for Engineers 2

For more information, visit Dr. Kauffman’s Publications Page: https://seanmk.com/publications.html



Back to Main Directory