Amir Goharshady receives the Khwarizmi Award

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 Goharshadyhe, 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”.