Sean Kauffman

Sean Kauffman is an Assistant Professor in the Department of Electrical and Computer Engineering at Queen's University, Faculty of Engineering and Applied Science. He holds his office in Walter Light Hall, Room 611, and can be reached at sean.k@queensu.ca or by phone at 613-533-6000 ext. 77360.

Dr. Kauffman earned his Ph.D. in Electrical and Computer Engineering from the University of Waterloo before completing a two-year postdoctoral position at Aalborg University in Denmark. Notably, he returned to academia after accumulating over a decade of industry experience as a software engineer, with his final industry role being Principal Software Engineer at Oracle.

His research expertise spans several critical areas in computer science and software engineering, with a particular focus on safety-critical software systems. His work significantly contributes to the fields of Formal Methods, Runtime Verification, Anomaly Detection, and Explainable AI. Dr. Kauffman has established productive research collaborations with prestigious organizations including NASA's Jet Propulsion Laboratory, the Embedded Systems Institute, QNX, and Pratt and Whitney Canada.

Dr. Kauffman's research output demonstrates a consistent focus on event stream analysis, formal verification techniques, and the development of practical tools for system monitoring. His most notable contribution is the nfer language and toolset, which has become influential in the runtime verification community for its ability to abstract event streams into meaningful temporal hierarchies. His publications reveal a progression from theoretical foundations to practical implementations, with applications spanning spacecraft telemetry, autonomous vehicles, and embedded systems.

Among his scientific contributions, Dr. Kauffman has received recognition for his work on the complexity analysis of nfer evaluation, developing methods for annotating control-flow graphs for formalized test coverage criteria, and creating frameworks for anomaly detection in embedded systems. His research has been published in top-tier venues including Science of Computer Programming, International Journal on Software Tools for Technology Transfer, and proceedings of major conferences like Runtime Verification and NASA Formal Methods.

As an educator, Dr. Kauffman employs active learning techniques, productive failure approaches, and peer instruction to foster student engagement. His industry background informs his teaching approach, providing students with practical insights into real-world software engineering challenges, particularly in safety-critical domains.

Dr. Kauffman leads the CritLab research group at Queen's University, which focuses on critical systems research. The lab develops tools and techniques for analyzing and verifying systems where failures could have severe consequences, with applications in aerospace, automotive, and other safety-critical domains. His work on the nfer language has spawned related projects including nvis for visualizing temporal interval hierarchies.