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 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

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. Consultado el 10 de enero de 2009 .
  2. ^ 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 .
  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. ^ "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 .
  5. ^ Personal de Cacm (marzo de 2017), "ACM reconoce nuevos becarios", Comunicaciones de la ACM , 60 (3): 23, doi :10.1145/3039921, S2CID  31701275.
  6. ^ "Premio a la investigación destacada". Asociación para Maquinaria de Computación . 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". Computadora IEEE . 29 (4): 16. doi :10.1109/MC.1996.488298. S2CID  15230509.
  9. ^ 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. 
  10. ^ "¿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