Member for 12 years, 9 months
Last seen more than 1 year ago
I'm an Engineering Professor who worked as a software engineer for nearly a decade before going to graduate school.
My research is primarily on runtime verification of safety-critical systems, although I also work on functional safety, automata mining, and anomaly detection.
If you're curious, my avatar is a dodgeball.