「Indie games by a logician! I work as a researcher in theoretical computer science. In my spare time, I develop indie games, featuring unusual mechanics, puzzles, and mathematically inspired ideas.」