I am broadly interested in applying formal methods (and programming languages in particular) to support design tasks in areas such as education and games. My ongoing thesis work explores using Program Synthesis to automatically analyze problem domains such as K12 math and puzzle games and synthesize human-readable strategies for those domains. I have worked previously on game generation, educational technology, and design tools. See my publications for details.
Besides research, I create a lot of digital art-things like games, available on my projects page.
I’m also now giving blogging about research and project development shot.
(This page last updated January 2018)