Computing

In addition to my mathematical research I have a strong interest in automated theorem proving and technical computing in general. I am involved in these software/hardware projects: see my GitHub GitHub for more.

Graph Visualizer

lean-rewrite-search

A general algorithm which proves arbitrary equational lemmas by repeated rewriting, implemented in Lean.

VM Screenshot

K-OS

A UNIX-like operating system I wrote from scratch in C and assembly.

Circuit Board

Transistor Computer

I'm building a modular microcomputer out of 74XXX series logic ICs. It has an assembly languge and virtual machine.