Qingkai Shi

Qingkai Shi is an Associate Professor in the School of Computer Science at Nanjing University, China, specializing in compiler techniques and formal program analysis for software and network security. His research bridges programming languages, cybersecurity, and software engineering with practical applications in real-world systems.

Education:

• Ph.D. from Hong Kong University of Science and Technology
• Postdoctoral researcher at Purdue University, USA

His research focuses on rigorous security validation through advanced static and dynamic analysis, particularly in network protocol parsers, compiler security, and autonomous systems. Key methodologies include context-sensitive program analysis, differential analysis, and formal specification techniques that address critical vulnerabilities in modern software ecosystems.

Recent publications (2022-2026) demonstrate strong continuity in program analysis research with expanding applications to emerging domains like autonomous driving and Rust ecosystems. Work consistently targets high-impact security challenges in network protocols, compiler correctness, and memory safety, often yielding practical tools and industrial applications.

Scientific Awards:

• Four ACM SIGPLAN/SIGSOFT Distinguished Paper Awards
• Google Research Paper Award
• Hong Kong Ph.D. Fellowship

Dr. Shi co-founded Sourcebrella LLC (acquired by Ant Group), translating academic research into commercial security solutions. His ongoing industry collaborations demonstrate successful technology transfer from program analysis research.

He leads an active research group developing open-source analysis tools including canary (alias analysis), netlifter (network protocol specification), and context-sensitive-reachability (data flow analysis), all available on GitHub with substantial community engagement.