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 , recibiendo 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 , que ocupó hasta 1997. [4] Ha sido miembro de 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 Asociación de Maquinaria Computacional . [5] En el mismo año, recibió el Premio de Investigación Destacada ACM SIGSOFT . [6]
Jackson también es fotógrafo y tiene interés en el estilo de fotografía directa . El Museo del MIT le encargó una serie de fotografías de los laboratorios del MIT , que se exhibieron 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 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 asociada Alloy Analyzer para brindar soporte a los esfuerzos de especificación y modelado ligeros. [9]
Entre 2004 y 2007, Jackson presidió un estudio plurianual del Consejo Nacional de Investigación de los Estados Unidos sobre sistemas confiables . [10]
Publicaciones seleccionadas
- Jackson, Daniel; Thomas, Martyn ; Millett, Lynette I., eds. (mayo de 2007). Software para sistemas confiables: ¿hay evidencia suficiente?. Washington, DC: The National Academies Press. 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. Recuperado el 10 de enero de 2009 .
- Jackson, Daniel (junio de 2006). "Software confiable por diseño". Scientific American . 294 (6): 68–75. Bibcode :2006SciAm.294f..68J. doi :10.1038/scientificamerican0606-68. PMID 16711362.
- Jackson, Daniel (abril de 2002). "Alloy: una notación ligera para modelado de objetos" (PDF) . ACM Transactions on Software Engineering and Methodology . 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. Recuperado el 10 de enero de 2009 .
- ^ Jackson, Daniel (noviembre de 2021). La esencia del software. Princeton University Press. ISBN 978-0-691-225-388. Recuperado 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 .
- ^ "Prof. Daniel Jackson". CSAIL Software Design Group . 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 a nuevos miembros", Communications of the ACM , 60 (3): 23, doi :10.1145/3039921, S2CID 31701275.
- ^ "Premio a la investigación destacada". Association for Computing Machinery . 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". IEEE Computer . 29 (4): 16. doi :10.1109/MC.1996.488298. S2CID 15230509.
- ^ Jackson, Daniel (abril de 2002). "Alloy: una notación ligera para modelado de objetos" (PDF) . ACM Transactions on Software Engineering and Methodology . 11 (2): 256–290. CiteSeerX 10.1.1.12.4127 . doi :10.1145/505145.505149. S2CID 5683166.
- ^ "¿Suficiente evidencia? Construyendo sistemas certificablemente confiables". Computer Science and Telecommunications Board . The National Academies. 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