Shengchao Qin

Dr Shengchao Qin has held the post of Professor (Chair) of Computer Science since 2011.

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. From August 2016 to September 2019, he also acted as the Associate Dean (Research & Innovation) for School of Computing, School of Computing, Media & the Arts, and then School of Computing & Digital Technologies.

Shengchao is a full member of the UK EPSRC Peer Review College and a member of the UKRI FLF (Future Leaders Fellowships) Peer Review College. He is also a senior member of IEEE and ACM.

Summary of Research Interests

Shengchao Qin has strong research interests in formal methods, programming languages, software engineering and cyber-physical systems. A main line of his current research is program analysis, testing and verification, in particular automated verification of software safety and security, analysis and detection of software bugs/vulnerabilities.

Research Projects & External Funding

Shengchao has been 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).
• Knowledge Transfer Partnership project with Charles Clinkard Ltd. Innovate UK funded project. Total value: GBP 190,238 (IUK Contribution: GBP 95,119).

External Research Collaborations

• National University of Singapore
• University of Manchester
• Singapore Management University
• Nanyang Technological University
• East China Normal University
• Nanjing University
• Shenzhen University
• Institute of Software, Chinese Academy of Science
• Singapore Management University
• Peking University

Companies

• Professor (Chair) of Computer Science Teesside University (2011)
• Associate Dean (Research and Innovation) Teesside University (2016 — 2019)
• Reader University of Teesside (2010 — 2011)
• Lecturer Durham University (2005 — 2010)
• Research Fellow National University of Singapore (2002 — 2004)

Education

• Ph.D Peking University (1997 — 2002)
• BSc Peking University (1993 — 1997)