Amir Goharshady

Amir Goharshady
Education
Known forLogic in Computer Science, Formal Methods, Blockchain
Awards
Scientific career
FieldsComputer Science
Workplaces
Thesis Parameterized 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: امیر کفشدار گوهرشادی[1]) is a theoretical computer scientist. He is a Professor at the Gran Sasso Science Institute[2] and the University of Oxford[3] and a fellow of St Catherine's College, Oxford.[4] He is known for his work in formal methods, compilers and blockchain,[5][6] as well as his history in informatics and mathematical Olympiads.

Education

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

Career

Previously, he was an assistant professor of computer science and mathematics at HKUST.[10][4] In July 2024, he joined the University of Oxford as an associate professor of computer science.[11] He was promoted to professor and joined the Gran Sasso Science Institute in 2026.[2] He has served as a Program Committee Chair for several international conferences in blockchain, including MARBLE[12][13] and SETTA,[14][14][15][16] as well as a Program Committee Member at AAAI,[17] POPL,[18] TACAS,[19] PLDI,[20] CAV,[21] and ESOP.[22] He is also a visiting professor at the Indian Institute of Technology Bombay[23] and served as an advisor and trainer to the Pakistani team at the International Olympiad in Informatics.[24][25]

Awards

References

  1. ↑ SNN.IR, خبرگزاری دانشجو | (2018-12-19). "دانش‌آموخته دانشگاه یزد رتبه اول جشنواره خوارزمی را کسب کرد". fa (in Persian). 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. 1 2 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. ↑ Reporter, The Newspaper's Staff (2025-08-15). "Students share experiences at Informatics Olympiad". Dawn. Retrieved 2026-06-11.
  25. ↑ "SundarSTEM School". sundarstem.edu.pk. Retrieved 2026-06-11.
  26. ↑ "Department researchers awarded four ERC Starting Grants in 100% success outcome". Department of Computer Science. Retrieved 2025-12-31.
  27. ↑ "کسب گرنت 1.5 میلیون یورویی توسط آقای دکتر گوهرشادی". yazd.ac.ir (in Persian). Retrieved 2026-06-11.
  28. ↑ "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.
  29. ↑ "Program - SPLASH 2024". 2024.splashcon.org. Retrieved 2026-06-11.
  30. ↑ "Dr. Lionel Parreaux and Dr. Amir Goharshady Receive Distinguished Paper Awards at OOPSLA 2024 | HKUST CSE". cse.hkust.edu.hk. Retrieved 2026-06-11.
  31. ↑ "Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs (SPLASH 2023 - OOPSLA) - SPLASH 2023". 2023.splashcon.org. Retrieved 2026-06-11.
  32. ↑ "PhD Dissertation Award". eapls.org. Archived from the original on 2025-09-29. Retrieved 2025-12-31.
  33. ↑ باشگاه خبرنگاران جوان | آخرین اخبار ایران و جهان | YJC. "درخشش رساله دانشجوی یزدی در یک انجمن تخصصی اروپایی". باشگاه خبرنگاران جوان | آخرین اخبار ایران و جهان | YJC (in Persian). Archived from the original on 2025-06-17. Retrieved 2026-06-11.
  34. ↑ "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.
  35. ↑ "Amir Goharshady receives the Khwarizmi Award". Institute of Science and Technology Austria (ISTA). Retrieved 2025-12-31.
  36. ↑ SNN.IR, خبرگزاری دانشجو | (2018-12-19). "دانش‌آموخته دانشگاه یزد رتبه اول جشنواره خوارزمی را کسب کرد". fa (in Persian). Retrieved 2026-06-11.
  37. ↑ "IST Austria: Amir Goharshady erhält den Khwarizmi-Preis". MeinBezirk.at (in German). 2019-01-14. Retrieved 2026-06-11.
  38. ↑ "IBM Academic Awards". www.research.ibm.com. 2018-10-01. Retrieved 2025-12-31.
  39. ↑ "Meta PhD Fellows - Amir Kafshdar Goharshady".
  40. ↑ "IMC - International Mathematics Competition for University Students". imc-math.org.uk. Retrieved 2026-06-11.
  41. ↑ SNN.IR, خبرگزاری دانشجو | (2014-08-05). "کسب مقام دوم مسابقات جهانی ریاضی دانشجویی 2014 توسط دانشجوی یزدی". fa (in Persian). Retrieved 2026-06-11.
  42. ↑ 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)
  43. ↑ "Profile of Amir Kafshdar Goharshady - Competitive Programming Hall Of Fame". cphof.org. Retrieved 2026-06-11.
  44. ↑ O, Sorin (2014-01-09). "Results". Seemous 2014. Retrieved 2026-06-11.
  45. ↑ "لیست مدال‌آوران مسابقه ریاضی دانشجویی (اولین تا چهل‌ و هفتمین مسابقه) – انجمن ریاضی ایران" (in Persian). Retrieved 2026-06-11.
  46. ↑ "مدال‌آوران دوره ۲۰ [اپدیا]". opedia.ir. Retrieved 2026-06-11.
  47. ↑ "مدال‌آوران دوره ۲۱ [اپدیا]". opedia.ir. Retrieved 2026-06-11.
This page is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.