Current Position

Research Interests

My goal is to develop theoretical foundations and practical tools
for building more reliable and usable software and increasing
developer productivity. I am mostly interested in software
engineering, programming languages, and formal methods. I
particularly like investigating topics in automatic test generation,
software verification, program analysis, and empirical software
engineering. My tools and techniques explore novel ways in writing,
specifying, verifying, testing, and debugging programs in order to
make them more robust while at the same time improving the user
experience.

News

I am looking for motivated and talented interns, PhD students, and
post-docs to work with me on Practical Formal Methods!