Search this site
Embedded Files
Amir Goharshady
  • Home
  • ALPACAS Research Group
    • Alumni
    • Visitors
    • Joining our group
  • Grants
  • Awards
  • Publications
  • Teaching at HKUST
    • Honors Discrete Math
    • Honors Algorithms
    • Formal Reasoning about Programs
    • Advanced Algorithms
    • Semantics and Verification
  • Teaching at Oxford
    • Lambda Calculus and Types
Amir Goharshady
  • Master of Arts - University of Oxford - 2025

  • 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

    • Best PhD Dissertation Award of the European Association for Programming Languages and Systems (EAPLS) - 2022

    • Informatik Austria Outstanding Young Expert Award - 2021

    • IST Austria Outstanding PhD Thesis Award - 2021

  • 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

Google Sites
Report abuse
Google Sites
Report abuse