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


 


Research

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.

Things I've written:

Elsewhere on the web:

Other:





University of Pittsburgh Department of Mathematics -- Home Page