Michael Goldsmith (computer scientist)

Professor Michael Goldsmith (born 1959) is a British computer scientist, senior research fellow and Lecturer at the University of Oxford, England. He is a member of Oxford University's Department of Computer Science. He is an associate director of Oxford University's Cyber Security Centre, and an Oxford Martin Fellow of The Global Cyber Security Capacity Centre. He is a fellow of Worcester College, Oxford.

Professor Goldsmith is a senior research fellow at the University of Oxford's Computer Science Department, From 2006-2011 he was principal fellow: High-Integrity Techniques in the e-Security Group of the WMG Digital Laboratory in the University of Warwick.

Goldsmith's publications cover security, cryptography in general, CSP, and formal methods in particular.

...
Wikipedia