Finite group theory + Reversible computing + Pac-Man

  + Program synthesis + Linear algebra + ...

The Flip Machine is a minimal reversible computer based on a finite group action. The idea is that a reversible compute substrate with a rich algebraic structure may be advantageous for program synthesis -- generating software instead of writing it. To experiment with this idea, I'm synthesizing a Pac-Man clone. I started this project in earnest after leaving my job at AWS and am hoping to complete it before Fall 2019, when I start grad school in mathematics.

Project updates:

my homepage, my linkedin profile