Registered user since Fri 4 May 2018
Qingkai Shi is an associate professor in the School of Computer Science at Nanjing University. His research focuses on the use of compiler techniques, especially formal program analysis, to rigorously ensure software and network security. He has published extensively at premium venues of programming languages (PLDI, OOPSLA), cybersecurity (SP, CCS), and software engineering (ICSE, ESEC/FSE). His research has received four ACM SIGPLAN or SIGSOFT Distinguished Paper Awards, one Google Research Paper Award, and the Hong Kong Ph.D. Fellowship.
Qingkai obtained his Ph.D. from the Hong Kong University of Science and Technology. He co-founded Sourcebrella LLC, where his research was commercialized. He then moved to Ant Group, which acquired Sourcebrella. Qingkai also enjoyed a wonderful period as a postdoctoral researcher at Purdue University, West Lafayette, the United States.
Contributions