SAS 2022
Mon 5 - Wed 7 December 2022 Auckland, New Zealand
co-located with SPLASH 2022
Guoqiang Li

Registered user since Tue 17 Sep 2019

Name:Guoqiang Li
Bio:

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.

Country:China
Affiliation:Shanghai Jiao Tong University

Contributions

Show activities from other conferences

SPLASH 2022-profile
View general profile