Tao Zheng

Full Professor, nanjing university
Joined
October 2023

Names

Tao Zheng (Preferred)

Emails

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

Personal Links

Career & Education History

Full Professor
nanjing university (nju.edu.cn)
2003 – Present
Associate Professor
nanjing university (nju.edu.cn)
1992 – 2003

Advisors, Relations & Conflicts

Coauthor
Tieke He
2023 – Present

Expertise

formal methods
, 
programming language
, 
code repair
1992 – Present
knowledge engineering
, 
knowledge graph
1992 – Present

Publications

Co-Authors