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)