Guoqiang Li

Assistant Professor, Ph.D.(JAIST,2008)
School of Software,
Shanghai Jiao Tong University,
800 Dongchuan Road, Minhang District, Shanghai, 200240 China

 


[Research Interests] [Experience] [Education] [Publications] [Projects] [Contact Me] [Links] [Curriculum Vitae]


RESEARCH INTERESTS

I am interested in theoretical computer science, looking for smart bridges between a theories and applications. Currently, I am studying and working on formal verification, such as model checking and theorem proving. I am also continuously studying process calculi, rewriting theory, game theory and automata theory, hoping to find some interesting applications on them one day.

The ongoing projects include analysis on security protocols, real-time embedded systems and concurrent program languages by automata-based model checking. I am also looking for collaborators in various fields, e.g., CPS, biochemistry, law, etc., hoping to introduce formal methods into these fields.


WORK EXPERIENCE

Assistant Professor
School of Software, Shanghai Jiao Tong University

2009.4 每       

Liaison Staff
Bureau of International Cooperation, NSFC

2009.12每       

Posdoc. Researcher
NCES, Graduate School of Information Science, Nagoya University

2008.4 每 2009.3

EDUCATIONAL BACKGROUND

PhD., Information Processing
Ogawa Lab, Japan Advanced Institute of Science and Technology

2005.4 每 2008.3

MSc., Computer Software and Theory
BASICS, Department of CST, Shanghai Jiao Tong University

2002.9 每 2005.3

BSc., Computer Software
Department of CST, Taiyuan University of Technology

1997.9 每 2001.7

SELECTED PUBLICATIONS

Journals and Transactions:

  • Guoqiang Li, Mizuhito Ogawa. On-the-fly model checking of security protocols and its implementation by Maude. IPSJ Transactions on Programming, Vol.48, No. SIG 10(PRO 33), 50-75, June 2007 (also appear in IPSJ Digital Courier, Vol.3, 343-368, 2007)

  • Conferences and Workshops:

  • Guoqiang Li, Xiaojuan Cai, Shoji Yuen. Modeling and Analysis of Real-Time Systems with Mutex Components. In Proceedings of the 24th IEEE International Parallel and Distributed Processing Symposium, Workshops and Phd Forum (APDCM'10 @ IPDPS'10) , IEEE Society, 2010

  • Guoqiang Li, Shoji Yuen, Masakazu Adachi. Environmental Simulation of Real-Time Systems with Nested Interrupts. In Proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'09), IEEE Society, 21-28, 2009

  • Guoqiang Li, Mizuhito Ogawa. Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol. In Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis (ATVA'08), LNCS 5311, 374-385, 2008 [Extended Version]

  • Guoqiang Li, Mizuhito Ogawa. On-the-fly Model Checking of Fair Non-repudiation Protocols. In Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA'07), LNCS 4762, 511-522, 2007 [Extended Version]

  • Min Zhang, Guoqiang Li, Yuxi Fu. Secrecy of Signals by Typing in Signal Transduction. In Proceedings of the 2nd International Conference on Natural Computation (ICNC'06), LNCS 4222, 384-393, 2006

  • Yonggen Gu, Yuxi Fu, Guoqiang Li. A Simple Process Calculus for the Analysis of Security Protocols. In Proceedings of the 6th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'05), IEEE Computer Society, 110-114, 2005

  • Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He. Typing Aberrance in Signal Transduction. In Proceedings of the 1st International Conference on Natural Computation (ICNC'05), LNCS 3612, 668-677, 2005

  • Yonggen Gu, Guoqiang Li, Yuxi Fu. Analyzing iKP Security in Applied Pi Calculus. In Proceedings of the 1st International Symposium on Computational and Information Sciences (CIS'04), LNCS 3314, 879-887, 2004

  • Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He. Representation of the Signal Transduction with Aberrance Using Ipi Calculus. In Proceedings of the 1st International Symposium on Computational and Information Sciences (CIS'04), LNCS 3314, 477-485, 2004
  • Technical Reports:

  • Guoqiang Li, Mizuhito Ogawa. On-the-fly Model Checking of Fair Non-repudiation Protocols. Japan Advanced Institute of Science and Technology, 2008 [PDF]

  • Guoqiang Li, Mizuhito Ogawa. Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol. IS-RR-2008-002, Japan Advanced Institute of Science and Technology, 2008 [PDF]
  • Drafts:

  • Guoqiang Li, Shoji Yuen, Masakazu Adachi. Environmental Simulation of Real-Time Systems with Nested Interrupts. 2009 [PDF]

  • Guoqiang Li, Shoji Yuen, Masakazu Adachi. Schedulability Analysis of Real-Time Systems with Nested Interrupts. 2008 [PDF]

  • Theses:

  • Formal Research of Security Protocols Based on Process Calculus. Master Thesis, March, 2005. In Chinese [PDF]

  • On-the-fly Model Checking of Security Protocols. Doctoral Thesis, March, 2008. [PDF] [Slides]
  • Books:

  • Instructions to the Postgraduate Entrance Examination Majoring the CS of 2003, Vol. of Discrete Mathematics. In Chinese

  • Instructions to the Postgraduate Entrance Examination Majoring the CS of 2004, Vol. of Discrete Mathematics. In Chinese

  • PROJECTS

    Past projects


    CONTACT ME

    Address: Room 1212, Software Building, 800 Dongchuan Road, Minhang District, Shanghai, 200240 China
    Phone: +86-21-3420-4167
    Email: li-gq AT cs DOT sjtu DOT edu DOT cn


    MISCELLANEOUS LINKS

    DOCIS | PlanetMath | MIT OCW | Formal Methods | Automated Reasoning

    Process Algebra | Compiler | SML | Game Theory

    MONA | Coq | Isabelle/HOL | Maude | NuSMV

    Conference Statistics (by Tao Xie)

    Some researches interest me


    Guoqiang Li
    Last modified: Monday, Feb. 1, 2010.