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.