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.

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)

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

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]

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]

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]

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