Yizheng Zhao

  • Joined May 2022

Names

Yizheng Zhao (Preferred)

Emails

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

Personal Links

Education & Career History

Associate Professor
Nanjing University (nju.edu.cn)
2019 – 2022
 

Advisors, Relations & Conflicts

No relations added

Expertise

knowledge representation and reasoning
2013 – 2022
 
automated reasoning
2013 – 2022
 
mathematical logics
2013 – 2022