please wait

Page loading - please wait...

Shengchao Qin

01642 342676
Job title:
Associate Dean (Research & Innovation)
School of Computing, Media & the Arts
More about Shengchao Qin  
Computing, Media & the Arts research

About Shengchao Qin

Shengchao Qin

Shengchao Qin
Associate Dean (Research & Innovation), School of Computing, Media & the Arts
T: 01642 342676
Research: Computing, Media & the Arts research

Professor Shengchao Qin leads the Software and Systems Research Group. He received his BSc and PhD from Peking University in 1997 and 2002, respectively. From July 2002 to December 2004, he was a Research Fellow under the Computer Science Programme in the Singapore-MIT Alliance, affiliated with National University of Singapore. He became a University lecturer in Durham University in January 2005 and joined Teesside University in June 2010.

Research interests

Shengchao Qin has strong research interests in formal methods, programming languages, software engineering and embedded systems. A main line of his current research is program analysis and verification, in particular automated verification of heap-manipulating programs. He is also interested in analysis and verification of concurrent programs, Cybersecurity, cyber-physical systems.

Research projects & external funding

Shengchao was the PI for the following externally funded research projects: 

• Inference Mechanisms for a Separation and Numerical Domain. EPSRC funded project. Total value: GBP 488,899 (RC contribution: GBP 403,535). 
• Resource Analysis and Verification for Dependable Embedded Software. EPSRC funded project. Total value: GBP 252,627 (RC contribution: GBP 213, 681).

PhD and research opportunities

Current PhD students:

     Chris Curry (Graduate Tutor jointly supervised with Quang Loc Le):Software Verification for Cybersecurity

     Yang Liu (PhD student jointly supervised with Yifeng Zeng): Deep Learning


Previous Postdoc/PhDs:

       •     Mengda He (PhD completed in 10/2017): Reasoning about Weak-MemoryPrograms

     Aziem Chawdhary (ex-Postdoc, now with University of Kent, UK).

     Florin Craciun (ex-Postdoc, now lecturer in Babes-Bolyai University, Romania).

     Joao Ferreira (ex-Postdoc, now Principal Lecturer in Teesside University).

     Guanhua He (Ph.D completed in 2011; now Postal Savings Bank of China)

     Chenguang Luo (Ph.D completed in 2010; now with Citadel LLC).

     Granville Barnett (Ph.D completed in 2013; now WANdisco)

     Ryuta Arisaka (Ph.D completed in 2013; now with NII Japan). 

External roles and professional activities

Full Member of EPSRC Peer Review College (

Program Committee Chair for: 

• ICFEM 2011: 13th International Conference on Formal Engineering Methods , Radisson Blu Hotel Durham, UK. 26-28 Oct 2011. 
• UTP 2010:3rd International Symposium on Unifying Theories of Programming, Shanghai, China, 15-16 November 2010. 
• TASE 2009: 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, Tianjin, China, 29-31 July 2009. 

Program Committee Membership for over 30 international conferences, e.g. ICFEM2010-2017, TASE2007-2017, ICTAC2013, FM2012, LCTES2012, UTP08-18, ICIS09-10, MoCSeRS 2010, ICECCS07, ICFEM06, SVV06.

Steering Committee Member for the following international conferences: 

• ICFEM: International Conference on Formal Engineering Methods 
• TASE: IEEE International Symposium on Theoretical Aspects of Software Engineering 
• UTP: International Symposium on Unifying Theories of Programming 

Other Conference Organisation Activities:

• FM'14, May, 2014, Singapore. (Workshop Chair) 
• APLAS'04, November, 2004, Taipei. (Publicity Chair) 
• ICFEM'03, November, 2003, Singapore. (Publicity Co-Chair) 

Professional Membership: 

• Fellow of the Higher Education Academy 
• Member of the ACM, the ACM SIGPLAN, and the IEEE Computer Society

External research collaborations

National University of Singapore

University of Manchester

Singapore University of Technology and Design

Nanyang Technological University

East China Normal University

Nanjing University

Institute of Software, Chinese Academy of Science


Some selected (Post-2014) publications:

Mengda He, Viktor Vafeiadis, Shengchao Qin, João F. Ferreira. GPS+ Reasoning about Fences and Relaxed Atomics. International Journal of Parallel Programming.

Shengchao Qin, Guanhua He, Wei-Ngan Chin, Florin Craciun, Mengda He, Zhong Ming. Automated Specification Inference in a Combined Domain via User-Defined Predicates. Science of Computer Programming. Elsevier. (DoI: 10.1016/j.scico.2017.05.007)

Xinyu Wang, Jun Sun, Ting Wang, and Shengchao Qin. Language Inclusion Checking of Timed Automata with Non-zenoness. IEEE Transactions on Software Engineering. (DoI: 10.1109/TSE.2017.2653778)

Richard Banach, Michael Butler, Shengchao Qin, Huibiao Zhu. Core Hybrid Event-B II: Multiple Cooperating Hybrid Event-B Machines. Science of Computer Programming. 139:1-35(2017). Elsevier. (DoI: 10.1016/j.scico.2016.12.003)

Jun Sun, Hao Xiao, Yang Liu, Shang-Wei Lin and Shengchao Qin. TLV: Abstraction through Testing, Learning and Validation. The Joint Meeting of ACM SIGSOFT Symposium onthe Foundations of Software Engineering and the European Software EngineeringConference (FSE/ESEC 2015). Bergamo, Italy. 2-4 Sep 2015.

Ton Chanh Le, Shengchao Qin and Wei-Ngan Chin. Termination and Non-termination Specification Inference. The 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'15). Pages 489-498. The ACM Press. Portland, Oregon, United States, 13-17 June, 2015.

Richard Banach, Michael Butler, Shengchao Qin, Nitika Verma, and Huibiao Zhu. Core Hybrid Event-B I: Single Hybrid Event-B Machines. Science of Computer Programming. 105:92–123(2015). (DoI: 10.1016/j.scico.2015.02.003)

Huibiao Zhu, Jifeng He, Shengchao Qin, Phillip J. Brooke. Denotational semantics and its algebraic derivation for anevent-driven system-level language. Formal Aspects of Computing. 27(1): 133-166(2015).

Quang Loc Le, Cristian Gherghina, Shengchao Qin and Wei-Ngan Chin. Shape Analysis via Second-Order Bi-Abduction. 26th International Conference on Computer Aided Verification (CAV 2014). LNCS 8559. Pages:52-68. July 18-22, 2014. Vienna, Austria.

Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, and Hongli Yang. Automatically Refining Partial Specifications for Heap-Manipulating Programs. Science of Computer Programming. 82 (2014):56-76. Elsevier. (DoI:10.1016/j.scico.2013.03.004)

View Shengchao Qin's Publications on TeesRep