Programming Languages

Amir is a fourth-year PhD student in Theoretical Computer Science (Verification) at the Institute of Science and Technology Austria (IST Austria), where he is advised by Prof. Krishnendu Chatterjee. In his research, Amir uses parameterization, game theory and algebraic methods in order to develop new algorithms for static verification of probabilistic systems. His work is especially focused on applications in verification of smart contracts and cryptocurrency protocols.