Yuan Yao
Yuan Yao
- Joined September 2019
Names
Emails
****@gmail.com (Confirmed)
, ****@nju.edu.cn (Confirmed)
Personal Links
Career & Education History
Associate Professor
Nanjing University (nju.edu.cn)
2021 – 2025
Assistant Professor
nanjing university (nju.edu.cn)
2016 – 2021
PhD student
Nanjing University (nju.edu.cn)
2009 – 2015
Advisors, Relations & Conflicts
Expertise
program verfication and theorem proving
2022 – 2025
machine learning quality assurance
2021 – 2025
code intelligence
2017 – 2025