Baoqi Zhang has three years of experience in front-end development of formal verification tool FPV; familiar with the front-end design process of formal verification tools.
Interests
- Formal Verification
- Equivalence Checking
Education
Bachelor in Department of Communication Science and Engineering, 2022
Fudan University