Maximum non-checkmating queens
Using the z3 solver in Python to find the maximum number of non-checkmating queens that can be placed on a chessboard
I am currently working at Stripe, where I am thinking about improving abstractions for our API rate limits.
I received my Bachelor's degree in computer science from Carnegie Mellon University, with a concentration in Algorithms and Complexity and a minor in Economics.
Recent Writing
Featured Projects
Tacopy
A Python decorator that applies Tail Call Optimizations to tail-recursive functions, offering up to 2.88x speedup and RecursionError elimination.
C0 Compiler
A compiler for the C0 language targeting x86_64 and LLVM IR, featuring SSA, register allocation via chordal graph coloring, and optimizations competitive with gcc -O1.
Proof: $\sqrt{2}$ is Irrational
A formal proof that the square root of 2 is irrational, implemented in a proof assistant.