FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
Qingkai Shi

Registered user since Fri 4 May 2018

Name:Qingkai Shi
Bio:

Qingkai Shi is an associate professor in the Department of Computer Science and Technology at Nanjing University. His research focuses on the use of compiler techniques, especially static program analysis, to rigorously ensure software security. He has published extensively at premium venues of programming languages (PLDI, OOPSLA), cybersecurity (S&P, CCS), and software engineering (ICSE, ESEC/FSE). His research received many awards including an ACM SIGPLAN Distinguished Paper Award, an ACM SIGSOFT Distinguished Paper Award, a Google Research Paper Reward, 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 as Sourcebrella was acquired. Qingkai also enjoyed a wonderful period as a postdoctoral researcher at Purdue University.

Country:China
Affiliation:Nanjing University
Research interests:Programming Language, Cybersecurity, Software Engineering

Contributions

Show activities from other conferences

ICSE 2024-profile
View general profile