Expertise
Metaprogramming, mechanized mathematics, game design, programming languages, probabilistic programming
Areas of Specialization
-
Software Quality
Research Clusters
-
Associate Chair for Graduate Studies
Computing and Software
-
Associate Professor
Computing and Software