Michael Goldsmith
Michael Goldsmith es Investigador Principal en el Departamento de Informática de la Universidad de Oxford y Worcester College, Oxford. Con experiencia en Métodos Formales y Teoría de la Concurrencia, Goldsmith fue uno de los pioneros del análisis automatizado de criptoprotocolos. Su trabajo de investigación ha abarcado una variedad de proyectos de la Junta de Estrategia Tecnológica así como proyectos industriales o gubernamentales que van desde modelos semánticos altamente matemáticos hasta la investigación multidisciplinaria en la interfaz técnico-social. Actualmente funge como Director del Centro de Ciberseguridad, como Co-Director del recién lanzado Centro de Formación Doctoral en Ciberseguridad y es miembro activo en el IAAC Academic Liaison Panel.