Amir Goharshady

Best Paper Awards and Nominations
- ACM SIGPLAN Distinguished Paper Award - OOPSLA - 2024
- FME Distinguished Paper Award - FM - 2024
- IEEE Computer Society Larson Best Paper Award - 2024
- ACM SIGPLAN Distinguished Paper Award - OOPSLA - 2023
- IEEE Computer Society Larson Best Paper Award - 2020
- IEEE Computer Society Larson Best Paper Award - 2019
- Best Paper Award Nominee (1 of 3) - IEEE International Conference on Blockchain - 2021
- EATCS Best Paper Award Nominee (1 of 3) - ESOP - 2020
AUA Scholar Award - Asian Universities Alliance - 2023
PhD Thesis Awards
Presidential Research Award
- Khwarizmi Research Award (Iran's Most Prestigious Research Prize) - 2018
Attendance at Selective Forums
- Young Researcher of the Heidelberg Laureate Forum (HLF) - 2015, 2020, 2021
- Young Scientist of the World Laureates Forum (WLF) - 2021, 2023
Medals at Mathematics and Computing Competitions or Olympiads
- International Mathematics Competition for University Students (IMC)
  - Gold Medal (First Prize) - 2015
  - Silver Medal (Second Prize) - 2014
  - Silver Medal (Second Prize) - 2013
  - Bronze Medal (Third Prize) - 2012
- ACM International Collegiate Programming Contest (ICPC)
  - World Finalist - 2015
  - Gold Medal (1st Team) - Asian Regional Contest, Lahore - 2014
  - Bronze Medal - Asian Regional Contest, Tehran - 2013
  - Bronze Medal - Asian Regional Contest, Tehran - 2011
- Southeastern European Mathematics Olympiad for University Students (SEEMOUS)
  - Gold Medal - 2014
- North Countries Universities Mathematical Competition
  - Third Prize - 2017
  - Third Prize - 2016
- Iranian Nationwide University Entrance Examinations (Concours)
  - Ranked 3rd in Computer Science - 2014
  - Ranked 13th in Mathematics - 2014
  - Ranked 11th in the Sanjesh Olympiad in Mathematics - 2014
- Iranian Mathematics Competition for University Students (IMS)
  - Silver Medal - 2013
  - Bronze Medal - 2012
- Iranian National Olympiad in Informatics
  - Silver Medal - 2011
  - Silver Medal - 2010