Darin Morrison

hacker, trader, researcher, engineer

You're not signed in
Interested in hiring Darin?
Automatically message Darin if they become a job candidate
What I Do

I engineer lemmas, hack proofs, and teach theorems to computers.

I use mathematics to design beautiful and reliable software.

I speak λ-calculus and dream in type theory.