I received a PhD from the University of Illinois advised by Madhusudan Parthasarathy. My primary area of research touches programming languages, logic, and formal methods. I am also an avid jazz alto saxophone player 🎷. Shoot me an email if you’d like to talk about anything below.
I will join the University of Colorado Boulder as an Assistant Professor in computer science starting Fall 2026.
Current Interests
- How to make machine learning models more interpretable
- Computational universality with errors:
How can finitely-accurate processes perform universal computations?
- Formal expressivity and algorithmic capabilities of neural architecture classes
- Evolution of language and connections between evolution and learning
- Teaching computer science and music improvisation together:
Learning to improvise within classes of "regular" riffing patterns, adding a "stack", etc.
- Rigorous characterizations of creativity:
What's the difference between creative processes and automatic processes?
Ongoing Projects
- DSL synthesis: theory and algorithms for automatically synthesizing DSLs that express relevant domain concepts succinctly and irrelevant ones less succinctly or not at all
- Emergence of symbolic language: developing a computational model in which symbolic language and abstraction are emergent outcomes of computation
Publications
*equal contribution