I’m Eric Butler, a Ph.D. student in Computer Science and Engineering at the University of Washington in the Center for Game Science. My research advisor is Zoran Popović.

My research focuses on applying techniques from program synthesis and artificial intelligence to automate and assist the design of both educational software and digital games. I am working to develop methods of automatically creating educational content and pedagogy for linear algebra through programming synthesis techniques. I have worked on creating progressions for educational puzzle games through automatic constraint-solving techniques and mixed-initiative design tools.

I also enjoy creating digital computer-things like games and making tools to help create those things. You can check out some stuff I’ve made on my projects page.

(This page last updated June 2015)