Proof Interfaces for Exploratory Mathematics
, , Cyrus Omar, and .
Paper in the SPLASH-E 2026 (SPLASH/ISSTA 2026).
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.