MachSMT
LI Min
lee-man
Building Silicon-Proven Verification Tools. Rejecting paper/胶片-only "breakthroughs". Ex. Huawei Engineer. @FORMiND-Lab
Southeast University Shenzhen
Weihuang Wen
markwwen
A second-year phd candidate in CUHKSZ.
The Chinese University of Hong Kong, Shenzhen China