I am a Professor in the Computer Science Department and UMIACS at the University of Maryland, College Park. I am a member of the programming languages group at Maryland. The goal of my research is to develop practical tools and techniques to improve software quality. I am interested in programming languages, software engineering, advanced static type systems, scalable constraint-based analysis, and building tools that implement my ideas.