Wanwei Liu (Preferred)
Wanwei Liu
Full Professor, National University of Defense Technology
- Joined July 2019
Names
Emails
****@nudt.edu.cn (Confirmed)
Personal Links
Education & Career 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
Expertise
Formal Verification of ML
2018 – Present
Formal Method
2003 – Present
Theoretical Computer Science
2002 – Present