Gang Chen (Preferred)
Gang Chen
Pronouns: he/him
- Joined September 2024
Names
Emails
****@nuaa.edu.cn (Confirmed)
, ****@qq.com
Personal Links
Career & Education History
Full Professor
Department of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics (nuaa.edu.cn)
2018 – 2024
Advisors, Relations & Conflicts
Expertise
EDA
2010 – 2024
Theorem Proving
1998 – 2024
Programming Language
1991 – 2024