A former graduate of Yazd University in the fields of Computer Science and Mathematical Sciences won the award for the best doctoral dissertation of the European Association for Programming Languages and Systems (EAPLS) entitled "Parametric Advances and Algebraic Geometry in Static Program Analysis".
According to a report received from the Vice-Chancellor for Research and Technology of Yazd University, the dissertation of Amir Kafshdar Goharshadi, a graduate of this university, entitled "Parametric Advances and Algebraic Geometry in Static Program Analysis " was introduced as the best doctoral dissertation of the European Association of Programming Languages and Systems (EAPLS) from the Austrian Institute of Science and Technology (IST Austria) on Monday, January 10, 2022.
According to a report of EAPLS, the award is presented annually to the author of a dissertation that has the most innovative and influential role in the field of programming languages and systems. Basically, it is aimed to introduce excellent work in this field, contribute to the Progress of winners and create competition among Ph.D. students.
According to the report, the winner of the best doctoral dissertation of the European Association for Programming Languages and Systems (EAPLS) is selected by an international committee of top professors in universities around the world, some of the selection criteria are innovation, scientific impact, and writing quality.
The report received from Yazd university's vice chancellor for research and technology also indicated that the jury for the award called Amir Kafshdar Goharshadi's dissertation "a remarkable work" and selected it as the best dissertation among hundreds of nominees from various universities. Excerpts from the committee members' reports on this dissertation are as follows:
This dissertation examines a wide range of methods for
analyzing and validating programs using new approaches. Each chapter of the
dissertation presents a new geometric/algebraic perspective for validating
programs and achieves remarkable results.The author analyzes a wide range of related problems using
mathematical nontrivial solutions as well as provides detailed complexity
analysis.This dissertation is very impressive both in terms of depth
and breadth.Not only new theoretical results have been obtained, but all these results have been proven by practical experiments.This dissertation has made significant improvements over the most advanced technologies in program analysis.The results obtained in this dissertation are excellent and interesting and have been published in the best conferences and journals in the field.
Accordingly, the European Association for Programming Languages and Systems (EAPLS) sincerely congratulated the Yazd University graduate student and said: "We are confident that this award predicts a very long and distinguished research career path."
It should be noted that Amir Kafshdar Goharshadi completed his bachelor's degree in computer science and mathematical sciences at Yazd University in 2014 and 2015, and after receiving his Ph.D. degree in Austria, he continues his research activities as an assistant professor at Hong Kong University of Science and Technology (HKUST).
His research in this field has previously won the first
prize of the Kharazmi Festival in the field of basic research, the award for
the best doctoral dissertation at IST Austria, the award for the best doctoral
dissertation in computer science in Austria, two awards as the best student
article of the Institute of Electrical and Electronics Engineers (IEEE),
Research Prize 1851 at the University of Cambridge, Research Grant of the
London Mathematical Society, the Kovalowskia Prize of the International
Congress of Mathematicians, as well as doctoral scholarships from the Austrian
Academy of Sciences and the Facebook and IBM companies.
Goharshadi also participated in various mathematics and computer programming competitions as a representative of Yazd University and won a gold, two silver and one bronze medal in the International Mathematics Competition (IMC), the first place in the ACM International Collegiate Programming Contest (ICPC) – Asia, Lahore and reached the global stage. He has also won a gold medal in the Southeast European Mathematical Competition, as well as a silver and a bronze medal in the country's student mathematics competitions.