Alex Davison

B.S. Mathematics
Stony Brook University (expected May 2027)
alex[at]alexdavison[dot]com
LinkedIn, GitHub

I’m a third-year undergraduate studying mathematics and computer science, interested in computational proofs in Lean and type theory, and in building small, modular tools that people actually use.

Aside from math and programming, I like chess, tennis, writing, and learning languages.