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
ACM SIGPLAN Distinguished Paper Award - OOPSLA - 2023
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
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