Bohan Fang 方博汉

Professor of Mathematics
Beijing International Center for Mathematical Research
Peking University

• Email: bohanfang AT gmail DOT com

• Phone: +86 10 62744124

• Office: 镜春园78号院78407 (Jingchunyuan Courtyard 78, 78407)

• Research Area: Mathematical physics, algebraic and symplectic geometry

• You can find more info about me in my CV.

A Lean project about HMS for smooth toric Fano varieties

• fs-fltz-minimal: A Lean project on formalizing homological mirror symmetry for smooth toric Fano varieties.