Registered user since Tue 24 Nov 2015
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.
|POPL 2016|| ERC member in External Reviewing Committee within the Research Papers-track|
ERC member in External Reviewing Committee
|Show activities from other conferences|
View general profile