Regular biography
Amir Goharshady is an Associate Professor of Computer Science at the University of Oxford and an Associate Member of St Catherine's College. His research interests include theoretical computer science, with a focus on formal program verification, parametrised algorithms, and blockchain. He is affiliated with the Department of Computer Science and contributes to themes such as Automated Verification, Algorithms and Complexity Theory, and Programming Languages. His personal page provides additional details about his work and publications.
Scholar-generated biography
Amir Goharshady is a Professor of Computer Science at the Gran Sasso Science Institute and University of Oxford. His research focuses on Theory of Computing, Program Verification, Compiler Optimization, and Blockchain. His work explores probabilistic programs, smart contracts, and cryptographic systems. He has published extensively on termination analysis, quantitative analysis, and security in blockchain technologies. His research includes the development of algorithms for program verification, invariant generation, and the analysis of computational properties in distributed systems. Goharshady's contributions span formal methods, automated reasoning, and the intersection of theoretical computer science with practical applications in blockchain and concurrency.