Andrew Martin (informatyk)
Andrew Martin jest brytyjskim informatykiem na Uniwersytecie Oksfordzkim w Anglii , gdzie jest profesorem bezpieczeństwa systemów , dyrektorem Center for Doctoral Training in Cyber Security (2013-) oraz zastępcą dyrektora i wykładowcą programu inżynierii oprogramowania . Jest członkiem Wydziału Informatyki Uniwersytetu Oksfordzkiego .
Edukacja
Uzyskał tytuł licencjata z matematyki i obliczeń (1986–1989) oraz stopień doktora nauk technicznych w zakresie dowodzenia twierdzeń wspomaganych maszynowo w inżynierii oprogramowania (1991–1994) na Uniwersytecie Oksfordzkim.
Kariera
Po ukończeniu pierwszego stopnia dołączył do Praxis High Integrity Systems w Bath jako inżynier oprogramowania przemysłowego. Po ukończeniu studiów doktoranckich został pracownikiem naukowym w Software Verification Research Center na Uniwersytecie Queensland w Australii . Przed objęciem obecnego stanowiska w 1999 roku był przez krótki czas wykładowcą na Uniwersytecie w Southampton .
Publikacje
Publikacje Martina dotyczą inżynierii oprogramowania , bezpieczeństwa , ogólnie zaufanego przetwarzania, aw szczególności metod formalnych
Linki zewnętrzne
- Andrew P. Martin na DBLP Bibliography Server
| Ogólny | |
|---|---|
| Naukowe bazy danych | |
- Pracownicy naukowi Uniwersytetu w Southampton
- Absolwenci Uniwersytetu Oksfordzkiego
- brytyjscy informatycy
- Szpilki brytyjskich naukowców
- Zalążki informatyków
- angielscy informatycy
- Stypendyści Kellogg College w Oksfordzie
- Formalne metody ludzie
- Żywi ludzie
- Członkowie Wydziału Informatyki Uniwersytetu Oksfordzkiego
- Wydział Uniwersytetu Queensland