Эндрю Мартин — британский учёный-компьютерщик из Оксфордского университета , Англия , где он является профессором системной безопасности, директором Центра докторской подготовки по кибербезопасности [1] (2013–2023), а также заместителем директора и преподавателем Программы по программной инженерии . [2] [3] Он является членом кафедры компьютерных наук Оксфордского университета .
Он получил степень бакалавра по математике и вычислениям (1986–1989) и степень доктора философии по машинному доказательству теорем для разработки программного обеспечения (1991–1994) в Оксфордском университете. [2] [3]
После получения первой степени он присоединился к Praxis High Integrity Systems , Бат , в качестве промышленного инженера-программиста. [3] После получения степени доктора философии он стал научным сотрудником в Исследовательском центре верификации программного обеспечения в Университете Квинсленда в Австралии . [3] Перед тем как занять свою нынешнюю должность в 1999 году, он некоторое время был преподавателем в Университете Саутгемптона . [3]
Публикации Мартина охватывают программную инженерию , безопасность , доверенные вычисления в целом и формальные методы в частности [4] [5]