Shengchao Qin


If you made any changes in Pure these will be visible here soon.

Personal profile

Academic Biography

Professor Shengchao Qin is Professor of Computer Science and the Associate Dean (Research & Innovation) in the School of Computing, Media and the Arts. As a member of the senior executive team he is responsible for leading and developing the research and innovation in the School.

Shengchao 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. In June 2010, he joined Teesside University as a Reader and became a full Professor in June 2011.

Shengchao is currently a member of the UK EPSRC Peer Review College and a member of the UKRI FLF (Future Leaders Fellowships) Peer Review College. 


Summary of 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 (co-supervisor)
  • Yang Liu (co-supervisor)
  • Thomas Hayton (co-supervisor)
  • Colin Joy (co-supervisor)
  • Ndidi Ogbo (co-supervisor)
  • Chidimma Opara (co-supervisor)
  • Mohammed Suleiman (co-supervisor)
  • Stephen Varey (co-supervisor)
  • Elisabeth Yaneske (co-supervisor)
  • Zhang Zhang (co-supervisor)

Previous Postdocs / PhDs:

  • Mengda He (PhD completed in 10/2017): Reasoning about Weak-Memory Programs.
  • 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

Member of EPSRC Peer Review College (

Member of the UKRI FLF (Future Leaders Fellowships) Peer Review College

Program Committee Chair for:

  • TASE 2019: 13th International Symposium on Theoretical Aspects of Software Engineering, Guilin, China, 29-31 July 2019.
  • 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 50 international conferences, e.g. ICFEM2010-2018, TASE2007-2019, 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

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 2 Similar Profiles
Specifications Engineering & Materials Science
Model predictive control Engineering & Materials Science
Navigation Engineering & Materials Science
Semantics Engineering & Materials Science
Data storage equipment Engineering & Materials Science
Network protocols Engineering & Materials Science
Robots Engineering & Materials Science
Static analysis Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2014 2018

  • 13 Article
  • 9 Paper
  • 3 Conference contribution
  • 1 Conference article

A UTP semantics for communicating processes with shared variables and its formal encoding in PVS

Shi, L., Zhao, Y., Liu, Y., Sun, J., Dong, J. S. & Qin, S., Aug 2018, In : Formal Aspects of Computing. 30, 3-4, p. 351-380 30 p.

Research output: Contribution to journalArticleResearchpeer-review

Denotational Semantics
Concurrent Systems

Frame inference for inductive entailment proofs in separation logic

Le, Q. L., Sun, J. & Qin, S., 14 Apr 2018, Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Beyer, D. & Huisman, M. (eds.). Springer Verlag, p. 41-60 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10805 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearch

Open Access

Automated Specification Inference in a Combined Domain via User-Defined Predicates

Qin, S., He, G., Chin, W-N., Craciun, F., He, M. & Ming, Z., 19 Jun 2017, In : Science of Computer Programming. p. -

Research output: Contribution to journalArticleResearchpeer-review

Open Access
Data structures
Data storage equipment

Comparative modelling and verification of Pthreads and Dthreads

Fei, Y., Zhu, H., Wu, X., Fang, H. & Qin, S., 17 Nov 2017, In : Journal of Software: Evolution and Process. p. -

Research output: Contribution to journalArticleResearchpeer-review

Open Access
Hazards and race conditions
Application programming interfaces (API)
Computer programming

Detecting Energy Bugs in Android Apps Using Static Analysis

Jiang, H., Yang, H., Qin, S., Su, Z., Zhang, J. & Yan, J., 11 Oct 2017, In : Lecture Notes in Computer Science. p. -

Research output: Contribution to journalArticleResearchpeer-review

Open Access
Static analysis
Static Analysis
Application programs