please wait

Page loading - please wait...

Shengchao Qin

T:
01642 342676
Job title:
Associate Dean (Research & Innovation)
E:
s.qin@tees.ac.uk
School/department:
School of Computing
 
More about Shengchao Qin  
Research:
Computing research
 
 
ORCID:
0000-0003-3028-8191

About Shengchao Qin

Shengchao Qin

Shengchao Qin
Associate Dean (Research & Innovation), School of Computing
T: 01642 342676
E: s.qin@tees.ac.uk
Research: Computing research

Shengchao Qin is a Professor of Computer Science in the School of Computing. Shengchao received his BSc and Ph.D from Peking University in 1997 and 2002, respectively. From July 2002 to December 2004, Shengchao 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 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, software-transaction memory, cyber-physical systems.

Externally Funded Research Projects:

• Inference Mechanisms for a Separation and Numerical Domain (10. 2009 - 9. 2013). EPSRC funded project. Total value: GBP 488,899 (RC contribution: GBP 403,535).
• Resource Analysis and Verification for Dependable Embedded Software (2. 2007 - 7. 2010). EPSRC funded project. Total value: GBP 252,627 (RC contribution: GBP 213, 681).

Professional Activities

Program Committee Chair:

• 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:

• ICTAC 2013: the 10th International Colloquium on Theoretical Aspects of Computing. Shanghai, China. 4-6 September 2013.
• TASE 2013: the 7th International Symposium on Theoretical Aspects of Software Engineering. Birmingham, UK. 1-3 July 2013.
• ICFEM 2012: the 14th International Conference on Formal Engineering Methods. Kyoto, Japan. 12-16 November 2012.
• FM 2012: the 18th International Symposium on Formal Methods. Paris, France, 27-31 August, 2012.
• TASE 2012: the 6th International Symposium on Theoretical Aspects of Software Engineering, Beijing, China, 4-6 July 2012.
• LCTES 2012: the 13th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems Beijing, China, 12-13 June, 2012.
• ICFEM 2011: 13th International Conference on Formal Engineering Methods , Radisson Blu Hotel Durham, UK. 26-28 Oct 2011.
• TASE 2011: the 5th International Symposium on Theoretical Aspects of Software Engineering, Xi'an, China, 29-31 August 2011.
• ICFEM 2010: 12th International Conference on Formal Engineering Methods, Shanghai, China, 16-19 Nov 2010.
• UTP 2010: 3rd International Symposium on Unifying Theories of Programming. Shanghai, China, 15-16 Nov 2010.
• TASE 2010: 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, Taipei, Taiwan, 25-27 August 2010.
• ICIS 2010:9th IEEE/ACIS International Conference on Computer and Information Science, August 18-20, 2010. Yamagata, Japan.
• MoCSeRS 2010: the first international workshop on model checking secure and reliable systems, Singapore, 9 June 2010.
• TASE 2009: 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, Tianjin, China, 29-31 July 2009.
• ICIS 2009: 8th IEEE/ACIS International Conference on Computer and Information Science, Shanghai, China, June, 2009.
• UTP 2008: 2nd International Symposium on Unifying Theories of Programming, Trinity College, University of Dublin, Ireland, 8-10 Sep. 2008.
• TASE 2008: 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, Nanjing, China, 17-19 June 2008.
• ICECCS 2007: 12th IEEE International Conference on Engineering of Complex Computer Systems, Auckland, New Zealand. 10-14 July, 2007.
• TASE 2007: 1st IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, Shanghai, China. 6-8 June, 2007.
• ICFEM 2006: 8th International Conference on Formal Engineering Methods, Macau, 30 Oct - 3 Nov. 2006.
• SVV 2006: International Workshop on Software Verification and Validation.Seattle (USA), 21 August 2006.

Steering Committee Membership:

• 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