I am a PhD candidate at the University of Illinois at Urbana-Champaign in the department of Computer Science working with 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'm on the faculty job market.
Current Interests
- Bridges between natural language and formal computer language
- Language-general techniques for putting symbolic knowledge into machine learning models
- Data-driven, automated construction of DSLs
- Data-driven techniques for making conjectures in math and science
- Computational universality with errors:
How can finitely-accurate processes perform universal computations?
- Formal expressivity and algorithmic capabilities of neural architecture classes
- Open-ended evolution, especially of language, and connections between evolution and learning
- Human-computer collaborative music improvisation
- Teaching computer science and music improvisation together:
Learning to improvise within classes of "regular" riffing patterns, adding a "stack", etc.
- Rigorous, logical characterizations of creativity:
What's the difference between creative processes and automatic processes?
Ongoing Projects
- DSL synthesis: foundational 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
- Example-driven geometry proofs: using small diagrams to guide auxiliary constructions in geometry proofs
Publications
*equal contribution