January 11, 2019

Amir Goharshady receives the Khwarizmi Award

PhD Student recognized for role as a co-author in developing innovative new algorithms for static analysis of programs

Amir Goharshady received the Khwarizmi Award in December 2018. Named after the 9th-century Persian mathematician Muhammad ibn Musa al-Khwarizmi who is generally considered to be the founder of algebra, the annual prize is given by the Iranian President to researchers younger than 35 years of age. Last year, 12 awardees were selected by the Iranian Research Organization for Science and Technology (IROST). Amir Goharshady - he is a PhD student in the Chatterjee group at IST Austria - was recognized as first rank in fundamental research for his “role as a co-author in developing innovative new algorithms for static analysis of programs, especially through parameterization and algebraic methods, which led to significant advances in software verification".