
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:
- Runtime verification
- Real-time software
- Functional safety
- Trace comprehension
- Specification mining
- Anomaly detection
- Formal Security