Guoqiang Li

Registered user since Tue 17 Sep 2019

Name: Guoqiang Li

Bio: Dr. Guoqiang Li is now an associate professor in school of software, Shanghai Jiao Tong University, and a guest associate professor in Kyushu 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 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, University of Oxford, during 2015-2016. His research interests include formal verification, programming language theory, data analytics, machine intelligence, and smart healthcare. He published more than 50 researches papers in the international journals and mainstream conferences, including TDSC, TOIT、TECS, FGCS, ASOC, SQJ, ASE、ICSE、CSCW、FORMATS, ATVA, etc..

Country: China

Affiliation: Shanghai Jiao Tong University

Personal website: https://basics.sjtu.edu.cn/~liguoqiang

Contributions

ASE 2019Author of Discovering, Explaining and Summarizing Controversial Discussions in Community Q&A Sites within the Research Papers-track
ICSE 2019Author of ActionNet: Vision-based Workflow Action Recognition From Programming Screencasts within the Technical Track-track
* ICSE 2018 *Author of Poster T1: An Efficient Approach for Verifying Automobile Distributed Application Systems on Timing Property within the Posters -track