My research fits in the broad areas of programming languages and verification, with an eye on applications in probabilistic programming and blockchain systems. I often use tools from game theory, probability theory, real algebraic geometry and parameterized complexity to tackle diverse problems ranging from data-flow analysis and optimal cache management, to finding termination proofs or resource-usage bounds for probabilistic programs, to quantitatively verifying the security of smart contracts.

This webpage is not updated regularly. See my dblp profile for the most up-to-date list of publications.


  • Verification
  • Programming Languages
  • Static Analysis
  • Probabilistic Programs
  • Parameterized Algorithms
  • Blockchain
  • Smart Contracts


  • PhD in Computer Science

    IST Austria

  • MSc in Computer Science (Systems)

    Georgia Institute of Technology

  • Graduate Diploma in Mathematics

    University of London

  • BSc in Mathematics and Computer Science

    Yazd University


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.
(2019). Modular Verification for Almost-Sure Termination of Probabilistic Programs. ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA).

PDF Published version Artifact

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

PDF Published version Artifact


  • 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 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.