Yu Huang

Full Professor, School of Computer Science, nanjing university

  • Joined September 2025

Names

Yu Huang (Preferred)

Emails

****@nju.edu.cn (Confirmed)

Personal Links

Career & Education History

Full Professor
School of Computer Science, nanjing university (nju.edu.cn)
2016 – Present
 
PhD student
School of Computer Science, University of Science and Technology of China (ustc.edu.cn)
2004 – 2007
 

Advisors, Relations & Conflicts

PhD Advisor
Yulin Feng
2002 – 2007
 

Expertise

formal specification and verification
2022 – Present