Experience
Research Assistant
HKUST(GZ)
- Advisor: Prof. Hongce Zhang
- Achieve an end-to-end unbounded formal verification framework for microprocessors
VLSI Physical Design Intern [[One Student One Chip Project](https://ysyx.oscc.cc)]
Peng Cheng Laboratory
- Mentor: Dr. Biwei Xie
- Complete an entire physical design process of an SoC
Education
PhD in Electronic and Computer Engineering
HKUST
- Advisor: Prof. Zhiyao Xie
MPhil in Microelectronics
HKUST(GZ)
- GPA: 4.0/4.3
- Advisor: Prof. Hongce Zhang & Prof. Zhiyao Xie
BEng in Electrical Engineering and Automation
NUAA