I am an Assistant Professor in the Department of Computer Science and Engineering at the University at Buffalo.

In my research, I make the software development process safer and more effective by building tools for software validation that address the needs of real users. My main area of study is programming languages, but I borrow motivation and techniques from both software engineering and human-computer interaction as well. Currently my projects center around the theoretical, practical, and human aspects of property-based testing and formal methods.

I love to collaborate, so feel free to reach out if you have anything you’d like to discuss.