Wanwei Liu (Preferred)
Wanwei Liu
Full Professor, College of Computer Science and Technology, National University of Defense Technology
Joined
July 2019
Names
Emails
****@nudt.edu.cn (Confirmed)
Personal Links
Career & Education History
Full Professor
College of Computer Science and Technology, National University of Defense Technology (nudt.edu.cn)
2021 – Present
Associate Professor
College of Computer Science and Technology, National University of Defense Technology (nudt.edu.cn)
2016 – 2020
Assistant Professor
College of Computer Science and Technology, National University of Defense Technology (nudt.edu.cn)
2009 – 2015
PhD student
College of Computer Science and Technology, National University of Defense Technology (nudt.edu.cn)
2004 – 2009
MS student
College of Computer Science and Technology, National University of Defense Technology (nudt.edu.cn)
2002 – 2003
Undergrad student
College of Computer Science and Technology, National University of Defense Technology (nudt.edu.cn)
1998 – 2002
Advisors, Relations & Conflicts
PhD Advisor
Huo
2002 – 2008
Expertise
Formal Verification of ML
2018 – Present
Formal Method
2003 – Present
Theoretical Computer Science
2002 – Present