Guoqiang Li
Guoqiang Li
Associate Professor, School of Computer Science, Shanghai Jiao Tong University
- Joined July 2019
Names
Emails
****@sjtu.edu.cn (Confirmed)
Personal Links
Career & Education History
Associate Professor
School of Computer Science, Shanghai Jiao Tong University (sjtu.edu.cn)
2025 – Present
Associate Professor
School of Software, Shanghai Jiao Tong University (sjtu.edu.cn)
2014 – 2024
Assistant Professor
Shool of Software, Shanghai Jiao Tong University (sjtu.edu.cn)
2009 – 2013
Postdoc
Graduate School of Information Science, Nagoya University (nagoya-u.ac.jp)
2008 – 2009
PhD student
School of Information Science, Japan Advanced Institute of Science and Technology (jaist.ac.jp)
2005 – 2008
Advisors, Relations & Conflicts
Postdoc Advisor
Shoji Yuen
2008 – 2009
PhD Advisor
Mizuhito Ogawa
2005 – 2008
Expertise
intelligent system verification and security
2018 – Present
knowledge reasoning and verification
2016 – Present
formal verification
2002 – Present
programming language theory
2002 – Present