Shengchao Qin

Full Professor, Xi'an University of Electronic Science and Technology
Joined
May 2021

Names

Shengchao Qin (Preferred)

Emails

****@gmail.com (Confirmed)
, 
****@tees.ac.uk (Confirmed)
, 
****@outlook.com (Confirmed)

Personal Links

Career & Education History

Full Professor
Xi'an University of Electronic Science and Technology (xidian.edu.cn)
2021 – Present
Full Professor
Teesside University (tees.ac.uk)
2011 – 2021
Lecturer
Durham University (dur.ac.uk)
2005 – 2010
PhD student
Peking University (pku.edu.cn)
1997 – 2002
Undergrad student
Peking University (pku.edu.cn)
1993 – 1997

Advisors, Relations & Conflicts

Coauthor
Zhiwu Xu
2013 – 2021
Postdoc Advisor
Wei-Ngan Chin
2002 – 2004

Expertise

formal verification
, 
program analysis
, 
separation logic
2004 – 2021
formal specification and modelling
, 
type systems
1997 – 2004

Publications

Co-Authors