Эндрю Мартин (ученый-компьютерщик)

Эндрю Мартин — британский ученый-компьютерщик из Оксфордского университета , Англия , где он является профессором системной безопасности , директором Центра подготовки докторантов в области кибербезопасности. ^{[ 1 ]} (2013-2023) и заместитель директора и преподаватель программы «Программная инженерия» . ^{[ 2 ]}^{[ 3 ]} Он является членом факультета компьютерных наук Оксфордского университета .

Образование

Он получил степень бакалавра математики и вычислений (1986–1989) и доктора философии в области машинного доказательства теорем для разработки программного обеспечения (1991–1994) в Оксфордском университете. ^{[ 2 ]}^{[ 3 ]}

Карьера

После получения первой степени он присоединился к компании Praxis High Integrity Systems , Бат, в качестве инженера по промышленному программному обеспечению. ^{[ 3 ]} После получения докторской степени он стал научным сотрудником в Исследовательском центре проверки программного обеспечения Университета Квинсленда в Австралии . ^{[ 3 ]} Прежде чем занять свой нынешний пост в 1999 году, он некоторое время преподавал в Саутгемптонском университете . ^{[ 3 ]}

Публикации

Публикации Мартина посвящены разработке программного обеспечения , безопасности , доверенным вычислениям в целом и формальным методам в частности. ^{[ 4 ]}^{[ 5 ]}

Ссылки

^ «Центр подготовки докторантов в области кибербезопасности» . Проверено 19 января 2015 г.
^ Jump up to: ^а ^б «Доктор Эндрю Мартин: Оксфордский университет» . Проверено 10 октября 2010 г.
^ Jump up to: ^а ^б ^с ^д ^и «Эндрю Мартин: Оксфордский университет» . Проверено 10 октября 2010 г.
^ «Публикация доктора Эндрю Мартина: Оксфордский университет» . Проверено 10 октября 2010 г.
^ Эндрю Мартин: Подробности списка публикаций , Scientific Commons .

Внешние ссылки

Эндрю П. Мартин на DBLP библиографическом сервере

Эта статья о британском ученом незавершена . Вы можете помочь Википедии, расширив ее .

П ≟ НП

Эта биографическая статья, посвященная ученому-компьютерщику незавершена , . Вы можете помочь Википедии, расширив ее .

[1] «Центр подготовки докторантов в области кибербезопасности» . Проверено 19 января 2015 г.

[Andrew_Martin-2] Jump up to: ^а ^б «Доктор Эндрю Мартин: Оксфордский университет» . Проверено 10 октября 2010 г.

[OUCL-3] Jump up to: ^а ^б ^с ^д ^и «Эндрю Мартин: Оксфордский университет» . Проверено 10 октября 2010 г.

[Publication_of_Dr._Andrew_Martin-4] «Публикация доктора Эндрю Мартина: Оксфордский университет» . Проверено 10 октября 2010 г.

[5] Эндрю Мартин: Подробности списка публикаций , Scientific Commons .

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]