My research is in the area of hybrid dynamical systems. Such systems combine discrete and continuous parts, with these parts interacting in some way. I am looking at how we can automatically prove some properties of these systems computationally - this is known as verification. Specifically I am considering the problem of specification and proof of liveness properties of hybrid systems, and am considering how abstraction can be used to prove such properties.
I am also working with Prof. Larry Paulson and his lab in Cambridge on a project called DYVERSE.