Hi! My name is Eric Griffis. I love programming language design, collaborative software, electronic music, digital photography, and mathematics.

I am currently a pre-candidate PhD student at the University of Michigan, Ann Arbor, advised by Professor Cyrus Omar in the Future of Programming Lab, where we work on Hazel, the structured programming language and editor.

My research interests lie at the intersection of formal methods, programming languages, and interactive systems. My focus is on developing theoretical foundations and reducing technical barriers for scalable, intelligent, data-intensive, collaborative software platforms and ecosystems. In the future, I’d like to build Internet-scale decentralized virtual worlds.

In the Future of Programming Lab, I am currently involved in two projects that extend Hazel (the language) or use Hazel (the editor) as a research platform. Grove is a lambda calculus for conflict-free collaborative structure editing. Shmyth extends Hazel with an interactive program synthesizer based on the Smyth synthesizer.

I am also an active open source developer. See the Projects page for a list of Racket packages I’m working on.