Professor Wins Amazon Research Award
“I am excited to receive the award,” said Zhang, an assistant professor in the School of Computer Science (SCS). “As a programming languages researcher, I enjoy what I do and believe it is important to continue working on fundamental problems to improve software reliability.”
He will use the award for interleaved Dyck-reachability research, which makes program analysis simpler and more efficient by eliminating ineffective parts of the graph. This funding will lead to practical tools that can analyze real-world software and foster collaboration with Amazon automated reasoning researchers.
This work has been widely recognized by the research community. Zhang and his students won a 2020 distinguished paper award at Programming Language Design and Implementation (PLDI), an online conference, for this work. His student, Yuanbo Li, also received a Facebook Fellowship for related research in May.
“Qirun is a world-class leader in programming languages,” SCS Chair Vivek Sarkar said. “It is great to see him receive this opportunity to increase the industrial impact of his research.”
As we step into 2024 and reflect on the previous year, 2023 was a huge year for news stories here at @GTcomputing . Dive into the 184 published news stories of 2023 and see if theres anything you missed! https://t.co/zUHBPiiEwp
— Georgia Tech Computing (@gtcomputing) January 11, 2024
The College of Computing is proud to celebrate Black History Month this February and honor those who pave the way for equality within our community. pic.twitter.com/Rn5BRskogI
— Georgia Tech Computing (@gtcomputing) February 1, 2024