{"653033":{"#nid":"653033","#data":{"type":"news","title":"Professor Wins Amazon Research Award","body":[{"value":"\u003Cp\u003E\u003Cstrong\u003EQirun\u003C\/strong\u003E \u003Cstrong\u003EZhang\u003C\/strong\u003E has won an \u003Ca href=\u0022https:\/\/www.amazon.science\/research-awards\u0022\u003EAmazon Research Award\u003C\/a\u003E for programming languages research. The one-year award contract provides unrestricted funds and Amazon Web Services credits for customer-driven research.\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u0026ldquo;I am excited to receive the award,\u0026rdquo; said Zhang, an assistant professor in the School of Computer Science (SCS). \u0026ldquo;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.\u0026rdquo;\u003C\/p\u003E\r\n\r\n\u003Cp\u003EHe 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.\u003C\/p\u003E\r\n\r\n\u003Cp\u003EThis work has been widely recognized by the research community. Zhang and his students have \u003Ca href=\u0022https:\/\/www.scs.gatech.edu\/news\/636232\/researchers-win-distinguished-paper-award-top-programming-language-conference\u0022\u003Ewon\u003C\/a\u003E a 2020 distinguished paper award at \u003Ca href=\u0022https:\/\/conf.researchr.org\/home\/pldi-2020\u0022\u003EProgramming Language Design and Implementation (PLDI)\u003C\/a\u003E, an online conference,\u0026nbsp;for this work. His student, \u003Cstrong\u003EYuanbo Li\u003C\/strong\u003E, also \u003Ca href=\u0022https:\/\/www.scs.gatech.edu\/news\/647688\/programming-languages-researcher-wins-facebook-fellowship\u0022\u003Ereceived\u003C\/a\u003E a Facebook Fellowship for related research in May.\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u0026ldquo;Qirun is a world-class leader in programming languages,\u0026rdquo; SCS Chair \u003Cstrong\u003EVivek\u003C\/strong\u003E \u003Cstrong\u003ESarkar\u003C\/strong\u003E said. \u0026ldquo;It is great to see him receive this opportunity to increase the industrial impact of his research.\u0026rdquo;\u003C\/p\u003E\r\n","summary":null,"format":"limited_html"}],"field_subtitle":"","field_summary":"","field_summary_sentence":[{"value":"Qirun Zhang has won an Amazon Research Award for programming languages research."}],"uid":"34541","created_gmt":"2021-11-19 16:12:52","changed_gmt":"2021-11-19 16:12:52","author":"Tess Malone","boilerplate_text":"","field_publication":"","field_article_url":"","dateline":{"date":"2021-11-19T00:00:00-05:00","iso_date":"2021-11-19T00:00:00-05:00","tz":"America\/New_York"},"extras":[],"hg_media":{"618270":{"id":"618270","type":"image","title":"Qirun Zhang Headshot","body":null,"created":"1550787281","gmt_created":"2019-02-21 22:14:41","changed":"1550787281","gmt_changed":"2019-02-21 22:14:41","alt":"Qirun Zhang","file":{"fid":"235332","name":"qirun-h.jpg","image_path":"\/sites\/default\/files\/images\/qirun-h.jpg","image_full_path":"http:\/\/hg.gatech.edu\/\/sites\/default\/files\/images\/qirun-h.jpg","mime":"image\/jpeg","size":331793,"path_740":"http:\/\/hg.gatech.edu\/sites\/default\/files\/styles\/740xx_scale\/public\/images\/qirun-h.jpg?itok=LaX2_-4c"}}},"media_ids":["618270"],"groups":[{"id":"47223","name":"College of Computing"},{"id":"50875","name":"School of Computer Science"}],"categories":[],"keywords":[],"core_research_areas":[],"news_room_topics":[],"event_categories":[],"invited_audience":[],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[{"value":"\u003Cp\u003ETess Malone, Communications Officer\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Ca href=\u0022mailto:tess.malone@cc.gatech.edu\u0022\u003Etess.malone@cc.gatech.edu\u003C\/a\u003E\u003C\/p\u003E\r\n","format":"limited_html"}],"email":[],"slides":[],"orientation":[],"userdata":""}}}