Wikipedia

Draft:Amir Goharshady

  • Comment: An associate professorship is usually not enough to meet WP:NPROF (our eligibility guidelines for academics), and he doesn't appear to meet any of the other criteria, or our more general WP:NBIO criteria. This may be a case of WP:TOOSOON. Nil🥝 04:02, 31 December 2025 (UTC)
  • Comment: He is a professor. There are several independent news agencies covering his work and achievements, specially in Iran, Austria and Pakistan: ISNA, Dawn, SNN, MeinBezirk. He has won the Khwarizmi Award, which is Iran's highest scientific honor and also an ERC grant (very competitive in the EU). See refs. Shamsolvaezin (talk)
  • Comment: This text seems to have been written by a well-meaning but overly-enthusiastic student. I would prefer not to have a wikipedia article about me. Amir Goharshady ~2026-36588-27 (talk)


Amir Goharshady
Alma mater
Known forLogic in Computer Science, Formal Methods, Blockchain
Awards
Scientific career
FieldsComputer Science
Institutions
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

edit

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

edit

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][15][16][17], as well as a Program Committee Member at AAAI[18], POPL[19], TACAS[20], PLDI[21], CAV[22], and ESOP[23]. He is also a visiting professor at the Indian Institute of Technology Bombay[24] and served as an advisor and trainer to the Pakistani team at the International Olympiad in Informatics[25][26].

Awards

edit

References

edit
  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. ↑ 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. ↑ 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.
  16. ↑ "SETTA 2025 - Organisation". www.setta2025.uk. Retrieved 2026-06-11.
  17. ↑ "SETTA 2024 - Organization". setta2024.cs.cityu.edu.hk. Retrieved 2026-06-11.
  18. ↑ "2026 Program Committee". AAAI. Retrieved 2026-06-11.
  19. ↑ "POPL 2027". conf.researchr.org. Retrieved 2026-06-11.
  20. ↑ "TACAS 2024". etaps.org. Retrieved 2026-06-11.
  21. ↑ "PLDI conference series - PLDI 2026". conf.researchr.org. Retrieved 2026-06-11.
  22. ↑ 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.
  23. ↑ "ESOP 2024". etaps.org. Retrieved 2026-06-11.
  24. ↑ "Department of Computer Science and Engineering. IIT Bombay". www.cse.iitb.ac.in. Retrieved 2026-06-11.
  25. ↑ Reporter, The Newspaper's Staff (2025-08-15). "Students share experiences at Informatics Olympiad". Dawn. 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. ↑ SNN.IR, خبرگزاری دانشجو | (2018-12-19). "دانش‌آموخته دانشگاه یزد رتبه اول جشنواره خوارزمی را کسب کرد". fa (in Persian). 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. ↑ "IBM Academic Awards". www.research.ibm.com. 2018-10-01. Retrieved 2025-12-31.
  40. ↑ "Meta PhD Fellows - Amir Kafshdar Goharshady".
  41. ↑ "IMC - International Mathematics Competition for University Students". imc-math.org.uk. Retrieved 2026-06-11.
  42. ↑ SNN.IR, خبرگزاری دانشجو | (2014-08-05). "کسب مقام دوم مسابقات جهانی ریاضی دانشجویی 2014 توسط دانشجوی یزدی". fa (in Persian). Retrieved 2026-06-11.
  43. ↑ 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)
  44. ↑ "Profile of Amir Kafshdar Goharshady - Competitive Programming Hall Of Fame". cphof.org. Retrieved 2026-06-11.
  45. ↑ O, Sorin (2014-01-09). "Results". Seemous 2014. Retrieved 2026-06-11.
  46. ↑ "لیست مدال‌آوران مسابقه ریاضی دانشجویی (اولین تا چهل‌ و هفتمین مسابقه) – انجمن ریاضی ایران" (in Persian). Retrieved 2026-06-11.
  47. ↑ "مدال‌آوران دوره ۲۰ [اپدیا]". opedia.ir. Retrieved 2026-06-11.
  48. ↑ "مدال‌آوران دوره ۲۱ [اپدیا]". opedia.ir. Retrieved 2026-06-11.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Draft:Amir_Goharshady&oldid=1360812014"