Yu Huang (Preferred)
Yu Huang
Full Professor, School of Computer Science, nanjing university
- Joined September 2025
Names
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