Bohua Zhan

Associate Researcher
State Key Laboratory of Computer Science
Institute of Software, Chinese Academy of Sciences

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

Journal Articles:

Conference Papers:

Other talks:

Past work

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