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. 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.


Interests: