About · Eric Butler

Hi! I'm Eric Butler. I try to use computers to help people learn and make cool stuff.

I currently work as architect and lead engineer for the educational technology non-profit Enlearn.

I am the lead engineer at Golden Glitch Studios, where we developed and published Elsinore, an award-winning, time-looping Shakespearean adventure game.

I 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.

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

(This page last updated December 2021)