I am a mathematics PhD student at the University of Pittsburgh, under the supervision of Tom Hales.
I received my BSc from UCLA in 2015, and my MSc from McMaster University in 2018. My background is in model theory and categorical logic.
My current research interests are in formal verification, in particular formal proofs and the applications of machine learning to automated theorem proving.
I recently completed a formal proof of the independence of the continuum hypothesis.
You can see more of what I'm up to at my GitHub profile.
jessemichaelhan [at] gmail [dot] com