Home

I’m a researcher at Microsoft Research in Redmond, Washington. My primary research area is formal methods. I have worked on topics such as symbolic model checking, Petri net unfoldings, automated abstraction, compositional methods, Craig interpolation, deductive verification and specification-based testing.

On this page, you can find information about my current research, including projects, papers, talks, tools and so on. If you are looking for a paper of mine, a full list of publications (with PDF files for most) can be found on my publications page. Some information related to older work that is not yet represented here can be found on my old page.