Learner-Centered Design Criteria for Classroom Proof Assistants
, and Cyrus Omar.
Paper in the Workshop on Human Aspects of Types and Reasoning Assistants (HATRA 2024).
Education
Carnegie Mellon University
PhD, Computer Science
PhD, Computer Science
UIUC
BS, Computer Science
BS, Molecular & Cellular Biology
BS, Computer Science
BS, Molecular & Cellular Biology
Teaching
Advising
PhD Students
Research Staff
Masters and Undergraduates
There are 10+ masters and undergraduate researchers in FP Lab — see the FP Lab webpage!Former Advisees
- David Moon (PhD, 2025; Postdoc, 2025-26; now at Jane Street)
- Michael D. Adams (Postdoc, 2019-21)
Service
2026
PLDI PC ·
PROPL Chair ·
VL/HCC PC ·
HATRA PC ·
LMPL PC ·
PLMW
@ SPLASH Speaker ·
SPLASH
SRC Judge ·
CSE Course Review Committee
2025
POPL PC ·
VL/HCC PC ·
GPCE PC ·
ML Family Workshop PC
·
HATRA PC ·
LIVE PC ·
CSE Curriculum Innovation Committee
2024
2023
PLDI PC ·
ECOOP PC ·
VL/HCC PC ·
MWPLS Co-chair ·
TyDe SC Chair ·
ECOOP Area Chair (Brave New Ideas and Pearls)
·
HATRA PC ·
IFL PC ·
SPLASH-E PC ·
SPLASH SRC ·
PLMW @ ICFP Panelist ·
CSE DEI Committee ·
CSE Hosting Committee
For older service roles, refer to my CV.
Awards and Honors
- Henry Russel Award (2026)
- 1938E Award (2025)
- NSF CAREER Award (2023)
- DOE CSGF (2008-2012)
- NSF GRFP (2008-2013)
- Illinois Bronze Tablet (2008)
I lead the Future of Programming Lab (FP Lab), part of
the vibrant MPLSE research community.
I am on sabbatical at the University of Cambridge for 2026–27, as a Visiting
Fellow in the Energy and Environment Group in the Department of Computer Science and Technology and an
Associate Scholar at Pembroke College.