Michael Goldsmith (born 1959) is a British computer scientist, senior research fellow and Lecturer at the University of Oxford, England.[1] He is a member of Oxford University's Department of Computer Science. He is an associate director of Oxford University's Cyber Security Centre,[2] and an Oxford Martin Fellow of The Global Cyber Security Capacity Centre.[3] He is a fellow of Worcester College, Oxford.[4]
Goldsmith is a senior research fellow at the University of Oxford's Computer Science Department, From 2006 to 2011 he was principal fellow: High-Integrity Techniques in the e-Security Group of the WMG Digital Laboratory in the University of Warwick.[5]
Goldsmith's publications cover security, cryptography in general, CSP, and formal methods in particular.[6]