Hi! I’m Eric Butler. I work on using computers to help people make cool stuff.

I am the lead engineer at Golden Glitch Studios, where we are imminently launching Elsinore, a time-looping Shakespearean adventure game.

I recently completed my Ph.D. in Computer Science and Engineering at the University of Washington. My dissertation explores using Program Synthesis to automatically analyze problem domains such as K12 math and puzzle games and synthesize human-readable strategies for solving problems in those domains. I was advised by Emina Torlak and Zoran Popović. I have worked previously on game generation, educational technology, and design tools. See my publications for details.

I currently work as a research engineer for the educational technology non-profit Enlearn.

My other games and digital artifacts are available on my projects page.

(This page last updated July 2019)