Registered user since Tue 17 Sep 2019
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..
|SPLASH 2022||Scalable Linear Invariant Generation with Farkas' Lemma|
|Show activities from other conferences|