Wanwei Liu

Full Professor, National University of Defense Technology

  • Joined July 2019

Names

Wanwei Liu (Preferred)

Emails

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

Personal Links

Career & Education History

Full Professor
National University of Defense Technology (nudt.edu.cn)
2021 – Present
 
Associate Professor
National University of Defense Technology (nudt.edu.cn)
2016 – 2020
 
Assistant Professor
National University of Defense Technology (nudt.edu.cn)
2009 – 2015
 
PhD student
National University of Defense Technology (nudt.edu.cn)
2004 – 2009
 
MS student
National University of Defense Technology (nudt.edu.cn)
2002 – 2003
 
Undergrad student
National University of Defense Technology (nudt.edu.cn)
1998 – 2002
 

Advisors, Relations & Conflicts

No relations added

Expertise

Formal Verification of ML
2018 – Present
 
Formal Method
2003 – Present
 
Theoretical Computer Science
2002 – Present