Xian Zhang

关于

I am Xian Zhang (张宪). I got my B.S. and PhD from EECS, Peking University in 2013 and 2018, respectively. My current research fields include AI math reasoning, theorem proving and formal verification.

We are hiring! If you have background or interest in these areas, feel free to contact me.