Michael Goldsmith (computer scientist)


Professor Michael Goldsmith 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 , and an Oxford Martin Fellow of The Global Cyber Security Capacity Centre. He is a fellow of Worcester College, Oxford.

Career

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.

Publications

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