Amir Goharshady

Professor Amir Kafshdar Goharshady

Associate Professor

Fellow, St Catherine's College

Themes:

• Automated Verification
• Algorithms and Complexity Theory
• Programming Languages

Interests

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