I work toward making the construction of reusable, trusted software components possible and effective. My research has spanned program analysis; semantics; verification and model-checking; security; logic; complexity; and algorithms.
With Jeff Foster and Mike Hicks, I direct the laboratory for Programming Languages at the University of Maryland (PLUM). Previously, I’ve worked with the Programming Research Laboratory (PRL) at Northeastern University.
I currently serve as a steering committee member and the publicity chair for ICFP, as a program committee member for ICFP 2015 and Scheme 2015, and as an external review committee member for POPL 2016.