Daniel Jackson

Daniel Jackson (nacido en 1963) es profesor de Ciencias de la Computación en el Massachusetts Institute of Technology (MIT). Es el diseñador principal del lenguaje de modelado Alloy, y autor del libro Software Abstractions: Logic, Language, and Analysis. Biografía Jackson nació en Londres, Inglaterra, en 1963. Estudió física en la University of Oxford, donde obtuvo una maestría en 1984. Tras 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 obtuvo una maestría en ciencias en 1988 y un doctorado en 1992. Tras finalizar su doctorado, Jackson ocupó un puesto como profesor asistente de Ciencias de la Computación en Carnegie Mellon University, cargo que desempeñó hasta 1997. Desde 1997 forma parte del cuerpo docente del Departamento de Ingeniería Eléctrica y Ciencias de la Computación del MIT. En 2017 se convirtió en miembro de la Association for Computing Machinery. Jackson también es fotógrafo y tiene interés en el estilo de fotografía directa. El MIT Museum le encargó una serie de fotografías de laboratorios del MIT, exhibidas de mayo a diciembre de 2012, para acompañar una exposición de imágenes de Berenice Abbott. Jackson es hijo del investigador en ingeniería de software Michael A. Jackson, desarrollador de Jackson Structured Programming (JSP), Jackson System Development (JSD) y el Enfoque de Marcos de Problemas. Investigación La investigación de Jackson se centra ampliamente en mejorar la confiabilidad del software. Es un defensor de los métodos formales ligeros. Jackson y sus estudiantes desarrollaron el lenguaje Alloy y su herramienta de análisis Alloy Analyzer asociada para brindar apoyo a esfuerzos de especificación y modelado ligeros.