Qirun Zhang

Registered user since Thu 14 Aug 2014

Name:Qirun Zhang

Qirun Zhang is an assistant professor in the School of Computer Science at Georgia Institute of Technology. His general research interests are in programming languages and software engineering, focusing on developing new static program-analysis frameworks to improve software reliability. He received his Ph.D. in Computer Science from The Chinese University of Hong Kong in 2013. He received a PLDI 2020 Distinguished Paper Award and an Amazon Research Award in Automated Reasoning.

Country:United States
Affiliation:Georgia Institute of Technology
Research interests:Program analysis


Show activities from other conferences

POPL 2022-profile
View general profile