Daniel Jackson (nacido en 1963) es profesor de Ciencias de la Computación en el Instituto Tecnológico de Massachusetts (MIT). Es el diseñador principal del lenguaje de modelado Alloy y autor de los libros Software Abstractions: Logic, Language, and Analysis [1] y The Essence of Software . [2] Dirige el Grupo de Diseño de Software en el Laboratorio de Ciencias de la Computación e Inteligencia Artificial del MIT .
Biografía
Jackson nació en Londres, Inglaterra, en 1963. [3]
Estudió física en la Universidad de Oxford y recibió una maestría en 1984. Después de completar su maestría, Jackson trabajó durante dos años como ingeniero de software en Logica UK Ltd. Luego Regresó a la academia para estudiar ciencias de la computación en el MIT, donde recibió una maestría en 1988 y un doctorado en 1992. Después de completar su doctorado, Jackson asumió un puesto como profesor asistente de ciencias de la computación en la Universidad Carnegie Mellon , cargo que ocupó. hasta 1997. [4] Ha estado en la facultad del Departamento de Ingeniería Eléctrica y Ciencias de la Computación del MIT desde 1997. En 2017 se convirtió en miembro de la Association for Computing Machinery . [5] Ese mismo año, recibió el premio ACM SIGSOFT Outstanding Research Award. [6]
Jackson también es fotógrafo y está interesado en el estilo de fotografía heterosexual . El Museo del MIT le encargó una serie de fotografías de los laboratorios del MIT , expuestas de mayo a diciembre de 2012, para acompañar una exposición de imágenes de Berenice Abbott . Jackson es hijo del investigador de ingeniería de software Michael A. Jackson , [7] desarrollador de Jackson Structured Programming (JSP), Jackson System Development (JSD) y el Problem Frames Approach .
Investigación
La investigación de Jackson se centra en términos generales en mejorar la confiabilidad del software. Es un defensor de los métodos formales ligeros . [8] Jackson y sus estudiantes desarrollaron el lenguaje Alloy y su herramienta de análisis Alloy Analyzer asociada para brindar soporte para especificaciones livianas y esfuerzos de modelado. [9]
Entre 2004 y 2007, Jackson presidió un estudio de varios años del Consejo Nacional de Investigación de los Estados Unidos sobre sistemas confiables . [10]
Publicaciones Seleccionadas
- Jackson, Daniel; Thomas, Martín ; Millett, Lynette I., eds. (mayo de 2007). Software para sistemas confiables: ¿evidencia suficiente? Washington, DC: Prensa de las Academias Nacionales. doi :10.17226/11923. ISBN 978-0-309-10394-7.
- Jackson, Daniel (abril de 2006). Abstracciones de software: lógica, lenguaje y análisis. Cambridge, MA: MIT Press. ISBN 978-0-262-10114-1. Consultado el 10 de enero de 2009 .
- Jackson, Daniel (junio de 2006). "Software confiable por diseño". Científico americano . 294 (6): 68–75. Código bibliográfico : 2006SciAm.294f..68J. doi : 10.1038/scientificamerican0606-68. PMID 16711362.
- Jackson, Daniel (abril de 2002). "Aleación: una notación de modelado de objetos ligeros" (PDF) . Transacciones ACM sobre Ingeniería y Metodología de Software . 11 (2): 256–290. CiteSeerX 10.1.1.12.4127 . doi :10.1145/505145.505149. S2CID 5683166.
Referencias
- ^ Jackson, Daniel (abril de 2006). Abstracciones de software: lógica, lenguaje y análisis. Cambridge, MA: MIT Press. ISBN 978-0-262-10114-1. Consultado el 10 de enero de 2009 .
- ^ Jackson, Daniel (noviembre de 2021). La esencia del software. Prensa de la Universidad de Princeton. ISBN 978-0-691-225-388. Consultado el 22 de marzo de 2024 .
- ^ Jackson, Daniel. "DANIEL JACKSON". Fotografía directa de Daniel Jackson . Archivado desde el original el 13 de noviembre de 2007 . Consultado el 9 de enero de 2009 .
- ^ "Profesor Daniel Jackson". Grupo de diseño de software CSAIL . Archivado desde el original el 9 de agosto de 2012 . Consultado el 9 de enero de 2009 .
- ^ Personal de Cacm (marzo de 2017), "ACM reconoce nuevos becarios", Comunicaciones de la ACM , 60 (3): 23, doi :10.1145/3039921, S2CID 31701275.
- ^ "Premio a la investigación destacada". Asociación para Maquinaria de Computación . Consultado el 7 de abril de 2024 .
- ^ Jackson, Daniel. "Daniel Jackson". Páginas de la facultad de CSAIL . Consultado el 9 de enero de 2009 .
- ^ Jackson, Daniel; Wing, Jeannette (abril de 1996). Saiedian, Hossein (ed.). "Una invitación a los métodos formales: métodos formales ligeros". Computadora IEEE . 29 (4): 16. doi :10.1109/MC.1996.488298. S2CID 15230509.
- ^ Jackson, Daniel (abril de 2002). "Aleación: una notación de modelado de objetos ligeros" (PDF) . Transacciones ACM sobre Ingeniería y Metodología de Software . 11 (2): 256–290. CiteSeerX 10.1.1.12.4127 . doi :10.1145/505145.505149. S2CID 5683166.
- ^ "¿Evidencia suficiente? Construcción de sistemas certificablemente confiables". Junta de Informática y Telecomunicaciones . Las Academias Nacionales. Archivado desde el original el 27 de abril de 2019 . Consultado el 9 de enero de 2009 .
enlaces externos
- Página de inicio del MIT de Daniel Jackson
- Sitio web de fotografía de Daniel Jackson.
- Daniel Jackson en el servidor de bibliografía DBLP