Amir Goharshady

Amir Goharshady
امیر کفشدار گوهرشادی
Education
Known forLogic in Computer Science, Formal Methods, Blockchain
Awards
Scientific career
FieldsComputer Science
Workplaces
ThesisParameterized and Algebro-geometric Advances in Static Program Analysis (2020)
Krishnendu Chatterjee
Websitehttps://www.cs.ox.ac.uk/people/amir.goharshady/

https://www.gssi.it/people/professors/lectures-computer-science/item/26238-goharshady-amir

https://amir.goharshady.com

Amir Kafshdar Goharshady (Persian: امیر کفشدار گوهرشادی) is a theoretical computer scientist. He is a Professor at the Gran Sasso Science Institute and the University of Oxford and a fellow of St Catherine's College, Oxford. He is known for his work in formal methods, compilers and blockchain, as well as his history in informatics and mathematical Olympiads.

Education

Goharshady began university studies at the age of 16 and obtained his undergraduate degrees in computer science and mathematics from the University of Yazd and the University of London at the age of 19. He obtained his MSc from the Georgia Institute of Technology and completed his PhD in 2020 at the Institute of Science and Technology Austria, supervised by Krishnendu Chatterjee.

Career

Previously, he was an assistant professor of computer science and mathematics at HKUST. In July 2024, he joined the University of Oxford as an associate professor of computer science. He was promoted to professor and joined the Gran Sasso Science Institute in 2026. He has served as a Program Committee Chair for several international conferences in blockchain, including MARBLE and SETTA, as well as a Program Committee Member at AAAI, POPL, TACAS, PLDI, CAV, and ESOP. He is also a visiting professor at the Indian Institute of Technology Bombay and the Ferdowsi University of Mashhad, and served as an advisor and trainer to the Pakistani team at the International Olympiad in Informatics.

Awards

References

  1. ↑ "دانش‌آموخته دانشگاه یزد رتبه اول جشنواره خوارزمی را کسب کرد". fa (in Persian). 2018-12-19. Retrieved 2025-12-31.
  2. 1 2 "Computer Science / Faculty". www.gssi.it. Archived from the original on 2025-09-11. Retrieved 2026-06-11.
  3. ↑ "Amir Goharshady". Department of Computer Science. Retrieved 2025-12-30.
  4. 1 2 3 4 "Amir Goharshady". St Catherine's College. Retrieved 2025-12-30.
  5. ↑ "Amir Goharshady". scholar.google.com. Retrieved 2025-12-30.
  6. ↑ "dblp: Amir Kafshdar Goharshady". dblp.org. Retrieved 2025-12-30.
  7. 1 2 "Un diplômé de l'Université de Yazd devient professeur associé à l'Université d'Oxford". yazd.ac.ir (in Canadian French). Retrieved 2025-12-30.
  8. ↑ "Amir Goharshady". amir.goharshady.com. Retrieved 2025-12-30.
  9. ↑ "Amir Kafshdar Goharshady – The Mathematics Genealogy Project". www.genealogy.math.ndsu.nodak.edu. Retrieved 2025-12-31.
  10. ↑ "Amir Kafshdar Goharshady | HKUST School of Engineering". seng.hkust.edu.hk. Retrieved 2025-12-31.
  11. ↑ "New faculty appointments reinforce priority to expand world-leading teaching". Department of Computer Science. Retrieved 2025-12-31.
  12. ↑ Leonardos, Stefanos; Goharshady, Amir K.; Knottenbelt, William; Pardalos, Panos, eds. (2026). "Mathematical Research for Blockchain Economy". Lecture Notes in Operations Research. doi:10.1007/978-3-032-13377-9. ISSN 2731-040X.
  13. ↑ "Committee 2025". Marble. Retrieved 2026-06-11.
  14. ↑ Goharshady, Amir; Haase, Christoph, eds. (2026). "Dependable Software Engineering. Theories, Tools, and Applications". Lecture Notes in Computer Science. doi:10.1007/978-981-95-7826-9. ISSN 0302-9743.
  15. ↑ "SETTA 2025 - Organisation". www.setta2025.uk. Retrieved 2026-06-11.
  16. ↑ "SETTA 2024 - Organization". setta2024.cs.cityu.edu.hk. Retrieved 2026-06-11.
  17. ↑ "2026 Program Committee". AAAI. Retrieved 2026-06-11.
  18. ↑ "POPL 2027". conf.researchr.org. Retrieved 2026-06-11.
  19. ↑ "TACAS 2024". etaps.org. Retrieved 2026-06-11.
  20. ↑ "PLDI conference series - PLDI 2026". conf.researchr.org. Retrieved 2026-06-11.
  21. ↑ Gurfinkel, Arie; Ganesh, Vijay, eds. (2024). "Computer Aided Verification". Lecture Notes in Computer Science. doi:10.1007/978-3-031-65633-0. ISSN 0302-9743.
  22. ↑ "ESOP 2024". etaps.org. Retrieved 2026-06-11.
  23. ↑ "Department of Computer Science and Engineering. IIT Bombay". www.cse.iitb.ac.in. Retrieved 2026-06-11.
  24. ↑ "Amir Goharshady". amir.goharshady.com. Retrieved 2026-10-11.
  25. ↑ "Students share experiences at Informatics Olympiad". Dawn. 2025-08-15. Retrieved 2026-06-11.
  26. ↑ "SundarSTEM School". sundarstem.edu.pk. Retrieved 2026-06-11.
  27. ↑ "Department researchers awarded four ERC Starting Grants in 100% success outcome". Department of Computer Science. Retrieved 2025-12-31.
  28. ↑ "کسب گرنت 1.5 میلیون یورویی توسط آقای دکتر گوهرشادی". yazd.ac.ir (in Persian). Retrieved 2026-06-11.
  29. ↑ "Outstanding early-career researchers awarded European Research Council funding to launch their ideas | Oxford University". www.ox.ac.uk. 2025-09-04. Retrieved 2026-06-11.
  30. ↑ "Program - SPLASH 2024". 2024.splashcon.org. Retrieved 2026-06-11.
  31. ↑ "Dr. Lionel Parreaux and Dr. Amir Goharshady Receive Distinguished Paper Awards at OOPSLA 2024 | HKUST CSE". cse.hkust.edu.hk. Retrieved 2026-06-11.
  32. ↑ "Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs (SPLASH 2023 - OOPSLA) - SPLASH 2023". 2023.splashcon.org. Retrieved 2026-06-11.
  33. ↑ "PhD Dissertation Award". eapls.org. Archived from the original on 2025-09-29. Retrieved 2025-12-31.
  34. ↑ باشگاه خبرنگاران جوان | آخرین اخبار ایران و جهان | YJC. "درخشش رساله دانشجوی یزدی در یک انجمن تخصصی اروپایی". باشگاه خبرنگاران جوان | آخرین اخبار ایران و جهان | YJC (in Persian). Archived from the original on 2025-06-17. Retrieved 2026-06-11.
  35. ↑ "IST Austria class of 2020 and 2021: IST Austria congratulates 45 new PhD graduates". Institute of Science and Technology Austria (ISTA). Retrieved 2025-12-31.
  36. ↑ "Amir Goharshady receives the Khwarizmi Award". Institute of Science and Technology Austria (ISTA). Retrieved 2025-12-31.
  37. ↑ "دانش‌آموخته دانشگاه یزد رتبه اول جشنواره خوارزمی را کسب کرد". fa (in Persian). 2018-12-19. Retrieved 2026-06-11.
  38. ↑ "IST Austria: Amir Goharshady erhält den Khwarizmi-Preis". MeinBezirk.at (in German). 2019-01-14. Retrieved 2026-06-11.
  39. ↑ "Lance Stafford Larson Student Award". IEEE Computer Society. 2018-04-30. Retrieved 2026-10-11.
  40. ↑ "IBM Academic Awards". www.research.ibm.com. 2018-10-01. Retrieved 2025-12-31.
  41. ↑ "Meta PhD Fellows - Amir Kafshdar Goharshady".
  42. ↑ "IMC - International Mathematics Competition for University Students". imc-math.org.uk. Retrieved 2026-06-11.
  43. ↑ "کسب مقام دوم مسابقات جهانی ریاضی دانشجویی 2014 توسط دانشجوی یزدی". fa (in Persian). 2014-08-05. Retrieved 2026-06-11.
  44. ↑ www.isna.ir https://www.isna.ir/news/yazd-26309/%D8%AF%D8%A7%D9%86%D8%B4%D8%AC%D9%88%DB%8C-%D8%AF%D8%A7%D9%86%D8%B4%DA%AF%D8%A7%D9%87-%DB%8C%D8%B2%D8%AF-%D8%AF%D8%B1-%D9%85%D8%B3%D8%A7%D8%A8%D9%82%D8%A7%D8%AA-%D8%AC%D9%87%D8%A7%D9%86%DB%8C-%D8%B1%DB%8C%D8%A7%D8%B6%DB%8C-%D8%AE%D9%88%D8%B4-%D8%AF%D8%B1%D8%AE%D8%B4%D9%8A%D8%AF. Retrieved 2026-06-11. {{cite web}}: Missing or empty |title= (help)
  45. ↑ "Profile of Amir Kafshdar Goharshady - Competitive Programming Hall Of Fame". cphof.org. Retrieved 2026-06-11.
  46. ↑ O, Sorin (2014-01-09). "Results". Seemous 2014. Retrieved 2026-06-11.
  47. ↑ "لیست مدال‌آوران مسابقه ریاضی دانشجویی (اولین تا چهل‌ و هفتمین مسابقه) – انجمن ریاضی ایران" (in Persian). Retrieved 2026-06-11.
  48. ↑ "مدال‌آوران دوره ۲۰ [اپدیا]". opedia.ir. Retrieved 2026-06-11.
  49. ↑ "مدال‌آوران دوره ۲۱ [اپدیا]". opedia.ir. Retrieved 2026-06-11.