Hi! I'm Eric Butler. I try to use computers to help people learn and make cool stuff. I currently work as a principal engineer on educational technology.
I design and build indie games. My most recent major project is 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 March 2024)