Paul Krogmeier

I’m a postdoctoral fellow at Harvard advised by Nada Amin and Walter Fontana. My primary area of research touches programming languages, logic, and program synthesis. I received a PhD from the University of Illinois advised by Madhusudan Parthasarathy.

I’ll be joining the University of Colorado Boulder as an assistant professor in computer science starting Fall 2026 and will be recruiting PhD students. If my research interests you please consider applying to the CS PhD program and mentioning my name in your application.

I’m also a jazz alto saxophone player 🎷 and always interested in chances to jam. Shoot me an email if you’d like to talk about anything below.

Current Interests

How to make machine learning models more interpretable
Computational universality with errors:
How can processes with limited accuracy perform universal computations?
Algorithmic capabilities of neural networks
Evolution of language
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.
What is "creativity"?

Ongoing Projects

Emergence of abstraction: developing a computational model in which symbolic language and abstraction are emergent outcomes of computation
DSL synthesis: theory and algorithms for automatically synthesizing DSLs that express relevant domain concepts succinctly and irrelevant ones less succinctly or not at all