Dr Shengchao Qin 

Lecturer in Computer Science

School of Engineering and Computing Sciences,
Durham University,
Science Laboratories,
South Road,
Durham DH1 3LE
U.K.

Direct: +44 (0)191 334 1745
Fax: +44 (0)191 334 1701
Dept office: +44 (0)191 334 1700
Email:

(This is a CV like homepage. You can also access my CV here.)                                                                            BTW, who I'd like to play with after work?

Research

Research Interests

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

Recent & more specific: automated software verification, program analysis and software modelling, Web semantics.

Funded Research Projects

Group Members

  • Aziem Chawdhary (Postdoc/RA funded by EPSRC).
  • Guanhua He (Ph.D candidate funded by EPSRC).
  • Chenguang Luo (Ph.D candidate funded by Durham Doctoral Fellowship).
  • Wei Xiong (Ph.D candidate supported in part by DAS Grant).
  • Ryuta Arisaka (Ph.D candidate funded by EPSRC).
  • Granville Barnett (Ph.D candidate funded by EPSRC DTA Award).

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

  • 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. (demo)
  • 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

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

    Professional Activities

    Program Committee (Co-)Chair

  • ICFEM 2011: 13th International Conference on Formal Engineering Methods , Durham, UK. Oct/Nov 2011.
  • TASE 2009: 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, Tianjin, China, 29-31 July 2009.

    • Program Committee Membership

  • TASE 2010: 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, Taipei, Taiwan, 25-27 August 2010.
  • 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

  • TASE: IEEE International Symposium on Theoretical Aspects of Software Engineering

    • Other Conference Organisation Activities

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

  • 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

  • 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

  • Lecturer, Computer Science Department, University of Durham (since 01.2005)
  • 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
  • So long, and thanks for the Ph.D.!
    • last modified: March 2009.