stringtranslate.com

Daniel Jackson (informático)

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

Referencias

  1. ^ 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 .
  2. ^ 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 .
  3. ^ 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 .
  4. ^ "Prof. Daniel Jackson". CSAIL Software Design Group . Archivado desde el original el 9 de agosto de 2012. Consultado el 9 de enero de 2009 .
  5. ^ Personal de Cacm (marzo de 2017), "ACM reconoce a nuevos miembros", Communications of the ACM , 60 (3): 23, doi :10.1145/3039921, S2CID  31701275.
  6. ^ "Premio a la investigación destacada". Association for Computing Machinery . Consultado el 7 de abril de 2024 .
  7. ^ Jackson, Daniel. "Daniel Jackson". Páginas de la facultad de CSAIL . Consultado el 9 de enero de 2009 .
  8. ^ 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.
  9. ^ 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. 
  10. ^ "¿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