Shengchao Qin

Professor of Computer Science

Formal Methods and Programming Research Group

School of Computing,
University of Teesside
Middlesbrough TS1 3BA
U.K.

Phone: +44 (0)1642 342676
Email: s.qin [AT] tees.ac.uk


Research

Research Interests

In general: formal methods; programming languages; embedded systems; software engineering.

Recent & more specific: program analysis and verification, concurrency and software transaction memory, cyber-physical systems.

Externally Funded Research Projects

Postdocs/Ph.Ds

  • Guanhua He (Postdoc).
  • Mengda He (Ph.D candidate supported by a university scholarship).
  • Granville Barnett (Ph.D candidate funded by EPSRC DTA Award).

    • Previous Postdocs/PhDs/Visiting Students

  • Joao Ferreira (ex-Postdoc; now lecturer in Teesside University).
  • Ryuta Arisaka (Ph.D completed in May 2013; now postdoc at INRIA, France).
  • Guanhua He (Ph.D completed in 2011; now postdoc in Teesside University).
  • Chenguang Luo (Ph.D completed in 2010; now with Citigroup Inc. London).
  • Wei Xiong (Ph.D completed in 3.2013; most credit of supervision goes to Prof M. Munro).
  • Aziem Chawdhary (ex-Postdoc, now with Contemplate Ltd, UK).
  • Florin Craciun (ex-Postdoc, now lecturer in Babes-Bolyai University , Romania).
  • Yanhong Huang (Visiting Ph.D student from ECNU: Feb-Jul 2012).

    • Publications

    A more comprehensive list of my publications can be found here.

    Most of my papers are also listed at the DBLP Computer Science Bibliography (or by types of publications).

    My citation statistics from Google Scholar are available here.

  • S. Qin, G. He, C. Luo, W.-N. Chin, and H. Yang. Automatically Refining Partial Specifications for Heap-Manipulating Programs. Science of Computer Programming. Accepted. Elsevier.
  • S. Qin, G. He, C. Luo, W.-N. Chin, and X. Chen. Loop Invariant Synthesis in a Combined Abstract Domain. Journal of Symbolic Computation. 50 (2013):386-408. Elsevier. (online)
  • W.-N. Chin, C. David, H. H. Nguyen, and S. Qin. Automated Verification of Shape, Size and Bag Properties via User-Defined Predicates in Separation Logic. Science of Computer Programming. 77(2012):1006-1036. Elsevier. (Available online)
  • H. Zhu, F. Yang, J. He, J. Bowen, J. W. Sanders, and S. Qin. Linking Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language. Journal of Logic and Algebraic Programming. 81(1):2-25. 2012. Elsevier. (Available online)
  • W.-N. Chin, C. Gherghina, R. Voicu, Q. L. Le, F. Craciun and S. Qin. A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. Computer-Aided Verification (CAV 2011). Snowbird, Utah. July 2011. Lecture Notes in Computer Science. Springer.
  • S. Qin, C. Luo, W.-N. Chin, and G. He. Automatically Refining Partial Specifications for Program Verification. Formal Methods (FM2011). Limerick, Ireland. June 2011. Lecture Notes in Computer Science. Springer.
  • C. Gherghina, C. David, S. Qin, and W.-N. Chin. Structured Specifications for Better Verification of Heap-Manipulating Programs. Formal Methods(FM2011). Limerick, Ireland. June 2011. Lecture Notes in Computer Science. Springer.
  • C. Luo, F. Craciun, S. Qin, G. He, and W.-N. Chin. Verifying Pointer Safety for Programs with Unknown Calls. Journal of Symbolic Computation. 45 (11): 1163-1183. Elsevier. (Available online)
  • J. S. Dong, P. Hao, S. Qin, J. Sun and Wang Y., Timed Automata Patterns. IEEE Transactions on Software Engineering. 34 (6): 844-859. 2008.
  • W.-N. Chin, C. David, H. H. Nguyen, and S. Qin, Enhancing Modular OO Verification with Separation Logic. The 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'08). San Francisco, USA. January 10-12, 2008.
  • H.-H. Nguyen, C. David, S. Qin, W.-N. Chin, Automated Verification of Shape and Size Properties via Separation Logic. VMCAI'07. Nice France. January 2007. Lecture Notes in Computer Science 4349, Springer-Verlag.
  • W.-N. Chin, H. H. Nguyen, S. Qin, and M. Rinard, Memory Usage Verification for OO Programs. The 12th International Static Analysis Symposium (SAS 05), London, UK. September 2005. Lecture Notes in Computer Science 3672, Springer-Verlag. ISBN: 3-540-28584-9.
  • W.-N. Chin, S.-C. Khoo, S. Qin, C. Popeea, and H. H. Nguyen, Verifying Safety Policies with Size Properties and Alias Controls. 27th International Conference on Software Engineering (ICSE 05), 15-21 May, 2005. St. Louis, Missouri, USA. ISBN:1-59593-963-2.
  • W.-N. Chin, F. Craciun, S. Qin and M. Rinard, Region Inference for an Object-Oriented Language, ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation (PLDI 04), June 9-11, 2004, Washington, DC, USA. ISBN:1-58113-807-5.
  • S. Qin, J. S. Dong and W.-N. Chin, A Semantic Foundation for TCOZ in Unifying Theories of Programming, Formal Methods (FM 03), Pisa, Italy, Sep. 2003. Lecture Notes in Computer Science 2805, Springer-Verlag. ISBN: 3-540-40828-2.

    • Teaching

    (New) MSc on Advanced Computer Science(One-Year MSc programme; research-led; block-mode)

    A list of modules that I have taught in Durham in recent years can be found here.

    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

  • ICFEM 2013: 15th International Conference on Formal Engineering Methods. Queenstown, New Zealand. 29 Oct - 1 Nov 2013.
  • 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.
  • UTP 2012: the 4th International Symposium on Unifying Theories of Programming. Paris, France, 27-28 August 2012.
  • FM 2012: the 18th International Symposium on Formal Methods. Paris, France, 27-31 August, 2012.
  • UML&FM 2012: the 5th International Workshop on UML and Formal Methods. Paris, France, 27 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.
  • 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.
  • 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'2014, 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

    • Conference/Workshop/Meeting Participation

  • ICFEM2012, 12-16 Nov 2012. Kyoto, Japan.
  • No.17 NII Shanon Meeting, 8-12 Nov 2012. Shanon Village, Japan.
  • SEFM2012, 1-5 Oct 2012. Thessaloniki, Greece.
  • UTP2012+FM2012, 27-31 August 2012. Paris, France.
  • TASE2012, 4-6 July 2012. Beijing, China..
  • PLDI2012, 11-15 June 2012. Beijing, China.
  • ICFEM2011, 26-28 Oct 2011. Durham, UK.
  • TASE2011, 29-31 August 2011. Xi'an, China.
  • FM2011, 20-24 June, 2011. Limerick, Ireland.
  • ICFEM2010, UTP2010, 15-19 Nov, 2010, Shanghai, China.
  • ATVA2010, 21-24 Sep 2010, Singapore.
  • FM'09, VSTTE'09, 2-6 Nov, 2009, Eindhoven, the Netherlands.
  • TASE'09, 29-31 July, 2009, Tianjin, China.
  • the Reasoning Workshop, 19-20 Mar, 2009, MSR-Cambridge, UK.
  • ETAPS'09, 22-29 Mar, 2009, York, UK.
  • ICFEM'08, 27-31 Oct, 2008, Kita Kyushu, Japan.
  • POPL'08, 10-12 Jan, 2008, San Francisco, USA.
  • ICECCS'07, 11-14 Jul, 2007, Auckland, New Zealand.
  • POPL'07, 17-19 Jan, 2007, Nice, France.
  • VMCAI'07, 14-16 Jan, 2007, Nice, France.
  • UTP'06, 5-6 Feb, 2006, Walworth Castle, County Durham.
  • ICFEM'05, 1-4 Nov, 2005, Manchester.
  • SAS'05, 6-9 Sep, 2005, London.
  • ICSE'05, 15-21 May 2005. St. Louis, USA.
  • APLAS'04, 4-6 Nov, 2004. Taipei.
  • ICTAC'04, 20-24 Sep, 2004. Guiyang.
  • PLDI'04, Washington D.C., 9-11 Jun., 2004.
  • NEPLS, 4 Jun., 2004
  • ICFEM'03, Singapore, Nov, 2003.
  • FM'03, Pisa, Italy, Sep, 2003.
  • ICFEM'02, Shanghai, China, Oct, 2002.
  • APAQS'01 (now QSIC), Hong Kong, China, Dec, 2001.
  • APSEC'01, Macau, China. Dec, 2001.
  • ICECS'00, Lebanon, Dec, 2000

    • Academic Visit

  • NUS, 5 Jul - 8 Oct, 2010.
  • PKU and ECNU, 19 Sep - 25 Oct, 2008.
  • NUS, 5 Aug - 5 Sep, 2005.
  • MIT, 22 - 28 May, 2005.
  • MIT, 2 - 8 Jun., 2004.
  • UNU/IIST, 20 Nov - 20 Dec, 2003

    • Work Experience

  • Professor of Computer Science, School of Computing, University of Teesside (06.2011 - )
  • Reader of Computer Science, School of Computing, University of Teesside (06.2010 - 05.2011)
  • Lecturer of Computer Science, University of Durham (01.2005 - 05.2010)
  • Research Fellow, CS Programme, Singapore-MIT Alliance, National University of Singapore(07.2002 - 01.2005)
  • Research Assistant, School of Mathematical Sciences, Peking University (09.2000 - 06.2002)
  • Visiting Fellow, International Institute for Software Technology, United Nations University (09.1999 - 08.2000)
  • Teaching Assistant, School of Mathematical Sciences, Peking University (03.1998 - 07.1999)
  • Part-time Programmer, IT Dept., Hoechst China Ltd. (now HiServ China Ltd.) (07.1996 - 09.1997)

    Some Links

  • The Formal Methods Wiki
  • Resources for Programming Language Research
  • UNU/IIST
  • Forthcoming Conferences in Formal Methods and Soft. Technology
  • Conferences in Embedded Systems Design and Cyber-Physical Systems
  • So long, and thanks for the Ph.D.!
    • last modified: Jan 2013.