Michael Goldsmith (informatyk)
Michael Goldsmith (ur. 1959) to brytyjski informatyk, starszy pracownik naukowy i wykładowca na Uniwersytecie Oksfordzkim w Anglii . Jest członkiem Wydziału Informatyki Uniwersytetu Oksfordzkiego . Jest zastępcą dyrektora Centrum Bezpieczeństwa Cybernetycznego Uniwersytetu Oksfordzkiego oraz członkiem Oxford Martin Fellow Global Cyber Security Capacity Centre. Jest członkiem Worcester College w Oksfordzie.
Kariera
Goldsmith jest starszym pracownikiem naukowym na Wydziale Informatyki Uniwersytetu Oksfordzkiego. W latach 2006-2011 był głównym pracownikiem: High-Integrity Techniques w grupie e-Security w WMG Digital Laboratory na Uniwersytecie w Warwick.
Publikacje
Publikacje Goldsmitha dotyczą bezpieczeństwa , ogólnie kryptografii , CSP , aw szczególności metod formalnych .
Linki zewnętrzne
- Michael Goldsmith z DBLP Bibliography Server