hello

Hi, I'm Dean! I'm currently teaching computers to prove theorems at Math Inc. I also study mathematics and computer science at Stanford University.

Previously, I've done

• research in automated reasoning (SMT solvers and Lean 4) with the Stanford CENTAUR Lab,
• mathematics research
  • in Galois theory at Stanford in 2024,
  • in algebra at the Georgia Institute of Technology in 2022, and
  • in number theory at Emory University's REU in 2017.

I'm also a musician. I play the piano, drums, and guitar, produce, compose, DJ, and audio engineer.

You can see some of my work on my projects page.

You can find me on X, GitHub, and LinkedIn, or email me at me [at] deancureton [dot] com.