I investigate applying computational methods such as inductive program synthesis to automate the design of learning systems and digital games. I’m interested in exploring mixed-initiative design tools for such systems powered by techniques from programming languages and artificial intelligence. I have prior experience with design tools, automated game design, educational technology, and generative methods.
I also create a lot of digital computer-things like games, which you can check out on my projects page.
(This page last updated January 2016)