This is Yunqi He’s home on the web!

About Me

• I am a research assistant in the NuLogiCS Research Group of Electrical and Computer Engineering Department advised by Dr. Hai Zhou at Northwestern University.
• I received a Bachelor of Sicence in Computer Science in 2017 from Peking University, Beijing, China.
• My research lies at the intersection of formal verification and machine learning.
• I am actively looking for opportunities for academic cooperation and innovation and entrepreneurship.

Recent News

• Nov. 2024. Our paper DE2: SAT-based sequential logic decryption with a functional description was accepted by DATE 2025.
• Oct. 2024. Our paper Multimodal Bayesian Networks for Automatic Skin Disease Diagnosis was accepted by BIBM 2024.
• Feb. 2024. Our paper Evaluating the Security of Logic Locking on Deep Neural Networks was accepted by DAC 2024.
• Jan. - Mar. 2024. Served as a TA for COMP_ENG 203 “Introduction to Computer Engineering”.