معرفی
Dr. Shengchao Qin is a Professor of Computer Science at Teesside University's School of Computing & Digital Technologies, specializing in formal methods and software verification. He holds a BSc and PhD from Peking University, with postdoctoral experience at the Singapore-MIT Alliance. As Associate Dean for Research & Innovation (2016-2019), he led strategic research initiatives.
His research focuses on automated verification of software safety/security, program analysis, and cyber-physical systems. Major funded projects include EPSRC grants for resource analysis of embedded software (£403k) and inference mechanisms for separation logic domains (£213k).
He actively contributes to academic service as Program Committee Chair for ICFEM/TASE conferences, steering committee member for formal methods symposiums, and editorial roles for IEEE Access and Science of Computer Programming. Collaborations span top institutions including National University of Singapore and Peking University.
Research Supervision:
- Current PhD advisees: Chris Curry, Yang Liu, Colin Joy, Ndidi Ogbo
- Former supervisees: Zhang Zhang (PhD '20), Florin Craciun (Postdoc), Ryuta Arisaka (PhD '13)
