Andrew Martin es un científico informático británico de la Universidad de Oxford , Inglaterra, donde es profesor de seguridad de sistemas , director del Centro de Formación Doctoral en Ciberseguridad [ 1 ] (2013–2023) y subdirector y profesor del Programa de Ingeniería de Software . [ 2 ] [ 3 ] Es miembro del Departamento de Ciencias de la Computación de la Universidad de Oxford .
Educación
Obtuvo una licenciatura en Matemáticas e Informática (1986-1989) y un doctorado en Demostración de Teoremas Asistida por Máquina para Ingeniería de Software (1991-1994) por la Universidad de Oxford. [ 2 ] [ 3 ]
Carrera
Tras obtener su primer título, se incorporó a Praxis High Integrity Systems , en Bath , como ingeniero de software industrial. [ 3 ] Tras obtener su doctorado, se convirtió en investigador asociado en el Centro de Investigación de Verificación de Software de la Universidad de Queensland, en Australia. [ 3 ] Antes de asumir su puesto actual en 1999, fue brevemente profesor en la Universidad de Southampton . [ 3 ]
Libro
En 2025, Andrew Martin escribió un libro titulado " Asegurando la frontera digital: Ciberseguridad para ciudadanos responsables y pensadores estratégicos" . Puede solicitar este libro en [ 4 ] .
Publicaciones
Las publicaciones de Martin abarcan la ingeniería de software , la seguridad , la computación confiable en general y los métodos formales en particular [ 5 ] [ 6 ].
Referencias
- ↑ "Centro de Formación Doctoral en Ciberseguridad" . Consultado el 19 de enero de 2015 .
- 1 2 "Dr. Andrew Martin: Universidad de Oxford" . Consultado el 10 de octubre de 2010 .
- 1 2 3 4 5 "Andrew Martin: Universidad de Oxford" . Consultado el 10 de octubre de 2010 .
- ↑ "Asegurando la frontera digital: Ciberseguridad para ciudadanos responsables y pensadores estratégicos" . Consultado el 8 de enero de 2026 .
- ↑ "Publicación del Dr. Andrew Martin: Universidad de Oxford" . Consultado el 10 de octubre de 2010 .
- ↑ Andrew Martin: Detalles de la lista de publicaciones , Scientific Commons .
Enlaces externos
- Andrew P. Martin en el servidor de bibliografía DBLP
- Personas vivas
- Antiguos alumnos de la Universidad de Oxford
- científicos informáticos ingleses
- científicos informáticos británicos
- Personal académico de la Universidad de Queensland
- Académicos de la Universidad de Southampton
- Miembros del Departamento de Informática de la Universidad de Oxford.
- Miembros del Kellogg College, Oxford
- Métodos formales personas
- Esbozos de científicos británicos
- Esbozos de científico informático