Home Page --- Jesse Han

Jesse Han

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


jmh288 [at] pitt [dot] edu


 




About

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

Research

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

Miscellaneous




University of Pittsburgh Department of Mathematics -- Home Page