Shengchao Qin
Lecturer
School of Computing, Media & the Arts
Teesside University
United Kingdom
Biography
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 Interest
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.
