Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Guoqiang Li

Registered user since Tue 17 Sep 2019

Name:Guoqiang Li

Dr. Guoqiang Li is now an associate professor in the School of Software, Shanghai Jiao Tong University. He received the B.S., M.S., and Ph.D. degrees from Taiyuan University of Technology, Shanghai Jiao Tong University, and Japan Advanced Institute of Science and Technology in 2001, 2005, and 2008, respectively. He worked as a postdoctoral research fellow in the graduate school of information science, Nagoya University, Japan, during 2008–2009, as an assistant professor in the school of software, Shanghai Jiao Tong University, during 2009–2013, and as an academic visitor in the department of computer science, the University of Oxford during 2015-2016. His research interests include formal verification, programming language theory, knowledge representation, reasoning and verification. He published more than 100 academic papers in top international journals including TSE, TDSC, TSC, TII, etc., and mainstream conferences, including OPPSLA, ICSE, ASE, FSE, CSCW, etc.

Affiliation:Shanghai Jiao Tong University


SPLASH 2022 Scalable Linear Invariant Generation with Farkas’ Lemma
Show activities from other conferences

SPLASH 2022-profile
View general profile