Professor Michael Goldsmith

Michael Goldsmith is a Senior Research Fellow at the Department of Computer Science and Worcester College, Oxford. With a background in Formal Methods and Concurrency Theory, Michael was one of the pioneers of automated cryptoprotocol analysis. His research work has investigated a range of Technology Strategy Board and industrial or government-funded projects ranging from highly mathematical semantic models to multidisciplinary research at the social-technical interface. He was Co-Director of the Centre for Doctoral Training  in Cybersecurity and is currently an Associate Director of Oxford’s Cyber Security Centre, and active in the IAAC Academic Liaison Panel.