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

Personal profile

Academic Biography

Dr Shengchao Qin is Professor (Chair) of Computer Science in the School of Computing, Engineering and Digital Technologies. 

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 was 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. 

 

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 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 (Director of Studies - 1st supervisor)
  • Yang Liu (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:

  • Thomas Hayton (co-supervisor): PhD completed in late 2019.
  • 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 Associate Professor in Babes-Bolyai University, Romania).
  • Joao Ferreira (ex-Postdoc).
  • Guanhua He (Ph.D completed in 2011; now in Financial Industry)
  • Chenguang Luo (Ph.D completed in 2010; now in Financial Industry).
  • 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 (https://www.epsrc.ac.uk/funding/assessmentprocess/college/)

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

Program Committee Chair for:

  • ICFEM 2019: 21st International Conference on Formal Engineering Methods, Shenzhen, China, 5-9 November 2019. 
  • 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. ABZ2020, AAAI2019-2020, IJCAI2018/2019/2020, ICFEM2010-2019, TASE2007-2020, ICTAC2013, FM2012, LCTES2012, UTP08-19, 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
  • Senior Member of IEEE
  • Senior Member of the ACM,
  • Professional Member of the ACM SIGPLAN

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
  • Shenzhen University
  • Institute of Software, Chinese Academy of Science
  • Singapore Management University
  • Peking University

Fingerprint Dive into the research topics where Shengchao Qin is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles

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

Research Output

A Deep Convolution Generative Adversarial Networks Based Fuzzing Framework For Industry Control Protocols

Lv, W., Xiong, J., Shi, J., Huang, Y. & Qin, S., 28 Apr 2020, (Accepted/In press) In : Journal of Intelligent Manufacturing.

Research output: Contribution to journalArticle

  • How Do API Selections Affect the Runtime Performance of Data Analytics Tasks?

    Tao, Y., Tang, S., Liu, Y., Xu, Z. & Qin, S., 9 Jan 2020, Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019. IEEE, p. 665-668 4 p. (IEEE/ACM International Conference on Automated Software Engineering (ASE)).

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

    Open Access
    File
  • 16 Downloads (Pure)

    MemLock: Memory Usage Guided Fuzzing

    Wen, C., Wang, H., Li, Y., Qin, S., Liu, Y., Xu, Z., Chen, H., Xie, X., Pu, G. & Liu, T., 1 May 2020, (Accepted/In press) 42nd International Conference on Software Engineering (ICSE 2020). ACM, 13 p.

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

    Open Access
    File
  • 16 Downloads (Pure)

    Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC

    Huang, C., Chen, X., Tang, E., He, M., Bu, L., Qin, S. & Zeng, Y., 2020, (Accepted/In press).

    Research output: Contribution to conferencePaper

    Open Access
    File
  • 14 Downloads (Pure)

    Typestate-Guided Fuzzer for Discovering Use-after-Free Vulnerabilities

    Wang, H., Xie, X., Li, Y., Wen, C., Li, Y., Liu, Y., Qin, S., Chen, H. & Sui, Y., 1 May 2020, (Accepted/In press) 42nd International Conference on Software Engineering (ICSE 2020). ACM

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

    Open Access
    File
  • 42 Downloads (Pure)