Bohua Zhan

Postdoctoral Fellow
Chair for Logic and Verification
Technical University of Munich

I have now moved to the Institute of Software, Chinese Academy of Sciences. The new (and updated) website is here.

Current interests

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

Project at github


Other talks:

Past work

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