Bohua Zhan

NSF Postdoctoral Fellow
Department of Mathematics
Massachusetts Institute of Technology
bzhan@mit.edu

Current interests

I am working on automation techniques in interactive theorem proving, both for formalization of mathematics and for verification of computer programs.

Past work

During graduate school, I did research in low dimensional topology, in particular Heegaard Floer homology.