I’m a programming and computer science educator based in Portland, OR. I currently work for Pixel Arts Game Education.
In a former career, my academic interests and research was in:
- higher-dimensional type theories
- mathematical logic
- proof assistants
- and making all of the above more accessible outside academia