I got my PhD at UC Berkeley, was a postdoc at Université Paris-Saclay, and now am a professor at UC Santa Cruz. Math-wise I'm mostly interested in low-dimensional topology (knot and spatial graph theory), but now I focus on the Lean interactive theorem prover.

KnotFolio: https://knotfol.io/

(If you come across a broken link to my Berkeley site, replace https://math.berkeley.edu/~kmill/ with https://kmill.github.io/math/.)