Bohua Zhan

Postdoctoral Fellow
Chair for Logic and Verification
Technical University of Munich
zhan@in.tum.de

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

Papers:

Other talks:

Past work

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