I'm Curtis Fenner. I graduated from the University of Michigan in 2018. Right now, I'm probably working on something programming related!

I've been programming in some form for about ten years, and have learned many languages:


Proof Checker

A simple automatic proof-verifier for students learning proofs in JavaScript and Perl. The checker manipulates symbolic representations of mathematical statements and verifies the steps taken in a formal proof.


Smol is a toy programming language, interpreter, and compiler. Smol is statically typed, featuring parametric polymorphism. It also includes a simple SMT-solver, used to verify correctness conditions at compile time, such as array indexes being in-bounds.