Publications

In Computer Science conference publications are at least as prestigious as (and often more prestigious than) journal publications. Names appear in alphabetical order, except that co-authors who are located in countries where the order matters in their career (e.g. Russia) are put first.

Quickly discover relevant content by filtering publications.

. Modular Verification for Almost-Sure Termination of Probabilistic Programs. ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2019.

PDF Published version Artifact

. JTDec: A Tool for Tree Decompositions in Soot. International Symposium on Automated Technology for Verification and Analysis (ATVA), 2017.

PDF Published version Artifact

Awards and Honors

See my CV for a complete list and details.

Facebook PhD Fellowship

IEEE Best Student Paper Award (Lance Stafford Larson Prize)

Awarded for our POPL 2019 paper: Efficient Parameterized Algorithms for Data Packing

ÖAW Doctoral Fellowship (DOC)

Khwarizmi Award for Young Researchers

Ranked first in the ‘Basic Sciences’ category. The Khwarizmi prize is Iran’s most prestigious state award for researchers and is awarded to ~10 young (under 35) scientists each year.

IBM PhD Fellowship

IST Austria PhD Fellowship

Gold Medal

ACM ICPC World Finalist and Winner of the Asian Regional Contest, Lahore

Silver Medal

Gold Medal

Ranked 3rd in Computer Science and 13th in Mathematics Concours

Silver Medal

Silver Medal

Bronze Medal

Bronze Medal

Silver Medal

Silver Medal

Personal

  • I am in love with and happily married to Fatemeh Mohammadi.
  • I was born and grew up in Mashhad, Khorasan, Iran.
  • My native language is Persian and my name is written as امیر کفشدار گوهرشادی in Persian alphabet. I am a speaker of the Khorasani accent (spoken in Northeastern Iran and Afghanistan), but am also accustomed to Tehrani, Yazdi and Tajiki. The official Tajiki spelling of my name is Амири Кафшдори Гавҳаршодӣ.
  • Check out my favorite city, Yazd, where I did my undergrads. The entire city is a world heritage site.