burtonqin.github.io [email protected]
Haidian District, Beijing I received my B.S. and Ph.D. in BUPT, China. I was a visiting scholar in PennState, US, 2018-2019. Interested in program analysis and blockchain security.
Boqin Qin(秦 伯钦)
Statically detect Rust deadlocks bugs
BurtonQin