Bohua Zhan

Postdoctoral Fellow
Chair for Logic and Verification
Technical University of Munich

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.