Amir Goharshady

Professor Amir Kafshdar Goharshady

Associate Member

Fellow, St Catherine's College

Themes:

• Automated Verification
• Algorithms and Complexity Theory
• Programming Languages

Interests

I am a Professor of Computer Science and a Fellow of St Catherine's College. My research interests are in theoretical computer science, specifically formal program verification, parametrised algorithms and blockchain. See my personal page at https://amir.goharshady.com/ for more up-to-date information and details.

Current Student