I am a Tenure-Track Assistant Professor in the Electrical and Computer Engineering Department at Queen's University in Kingston, Ontario, Canada. Interested prospective students should contact me at sean.k@queensu.ca.

After finishing my Bachelor's in Computer Science, I worked for nearly a decade as a software engineer on enterprise SaaS offerings. Despite a successful career, in 2014 I went back to school to pursue a Master's and subsequent PhD. After completing my PhD in 2021, I spent two years as a Postdoc in the Distributed Embedded and Intelligent Systems group at Aalborg University in Denmark.

My primary research interest is in improving the safety and reliability of real-time embedded software through the application of Formal Methods. I am developing solutions to practical barriers to the adoption of the Runtime Verification of safety-critical systems.


Research Interests: