Home Page --- Jesse Han

Jesse Han

Graduate Student
Department of Mathematics
University of Pittsburgh
Thackeray Hall
Pittsburgh, PA 15213

jmh288 [at] pitt [dot] edu



I am a PhD student at the University of Pittsburgh, under the supervision of Tom Hales


My research interests are in formal verification, in particular formal proofs and the applications of machine learning to automated theorem proving.

I am currently working on a formalization of the independence of the continuum hypothesis.

Papers, preprints, and notes

Talks and conferences


University of Pittsburgh Department of Mathematics -- Home Page