I am a researcher with the Systems and Software Division at Toyota InfoTechnology Center, USA.
My research focus is on formal verification of software and cyberphysical systems. I am especially interested in issues of scalability, automation, and computing abstractions for different purposes.
I graduated with a Ph.D. in Electrical and Computer Engineering at Carnegie Mellon working with Professor Bruce Krogh. My thesis work was in working with an abstraction of controllers called a control envelope, which represents a class of controllers that ensure the closed-loop system is kept inside a parametrized class of invariants. I worked on verifying control envelopes with the theorem prover KeYmaera, as well as providing a technique for incroporating control envelopes into a traditional control design scenario.