Professor Michael Goldsmith
Senior Research Fellow
Associate Professor of Computer Science
Co-Director, Global Cyber Security Capacity Centre
Education
MA DPhil (Oxford)
Professor Goldsmith’s research concerns establishing the robustness and security of systems, especially in ad-hoc and pervasive computing environments, from underpinning theory through ethical and psychological issues to practical application. 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.