Formal Methods for Highly-Dependable Automotive Systems
A project supported by the TOYOTA Corp.
I was one of the major researchers.
(2008.4 - 2009.3)
Verifiable and Evolvable e-Society
The 21st Century COE
Program of JAIST, funded by Japanese Ministry of Education, Culture,
Sports, Science and Technology. I was hired as a doctor course
student. (2005.4 - 2008.3)
Rewriting Game Theory
Worked with Prof. Ren¨¦ vestergaard. Its was the sub-theme of my doctoral research. (2005.4 - 2008.3)
Formal Analysis of Electronic Commerce Protocols based on Process
Calculus
A project of NSFC, China. It was the main-theme of my master
research. (2003.3 - 2005.3)
Research of Biological System with Formal Method
A project of
BDCC, China, and the joint project of National PhD. Foundation, China. It was the
sub-theme research of the master research. (2003.3 - 2005.3)
Verification of Optical Network Protocol Specifications
Chinese National 863 Project. I was invited to join the research group in
LOCT, SJTU, as an assisted manager. The main task was to analyze
ttcn3 protocol formally.(2003.6 - 2003.12)
Guoqiang Li Last modified: Wednesday, Nov. 18, 2009.