Yunqi He

Conducting research on the intersection of Formal Verification and Machine Learning. • Developing logic locking techniques for hardware IP protection. • Exploring robustness verification methods for deep neural networks. • Implemented a skin disease automatic diagnosis application using the Bayesian network for enhanced explainability and robustness.

• Conducted research on GPU-boosted placement algorithms like DREAMPlace and OpenPARF. • Learned the emulator workflow and evaluated the potential speed-up of replacing current CPU-based placement algorithms. • Developed skills in C++ programming, algorithm optimization, and performance evaluation.

• Explored the potential applications of the GRT, a reconfigurable Software-Defined Radio (SDR) platform, at the Center for Energy-Efficient Computing and Applications (CECA) at Peking University. • Utilized Channel State Information (CSI) for wireless sensing, establishing a foundation for elder fall detection/prevention. • Developed skills in wireless communication, signal processing, and research methodologies.