Daniel Jackson (Informatiker)
Daniel N. Jackson (* 1963) ist Professor für Informatik am Massachusetts Institute of Technology (MIT). Er ist die Triebfeder hinter der Modellierungssprache Alloy und dem Alloy Analyzer. Daniel Jacksons wichtigstes Buch ist Software Abstractions: Logic, Language and Analysis.[1]
Biographie[Bearbeiten | Quelltext bearbeiten]
Daniel Jackson wurde 1963 in London geboren. Sein Vater ist der Informatiker Michael Jackson, der für seine grundlegenden Beiträge zu Themen der Softwaretechnik bekannt ist.
Daniel studierte Physik an der Oxford University und erhielt 1984 einen Master of Arts (Oxbridge und Dublin). Nach Abschluss seines MA arbeitete Jackson zwei Jahre lang als Software-Ingenieur bei Logica UK Ltd. Anschließend kehrte er an die Universität zurück, um am MIT Informatik zu studieren, wo er 1988 einen Master of Science und 1992 einen Doktortitel erhielt. Nach Abschluss seiner Promotion bis 1997 war Jackson Assistenzprofessor für Informatik an der Carnegie Mellon University. Seit 1997 ist er am MIT an der Fakultät für Elektrotechnik und Informatik tätig. Im Jahr 2017 wurde Jackson Fellow der Association for Computing Machinery.[2]
Jackson ist auch Fotograf.[3] Das MIT-Museum beauftragte ihn mit einer Reihe von Fotografien von MIT-Laboratorien, die von Mai bis Dezember 2012 zu einer Ausstellung von Bildern von Berenice Abbott ausgestellt wurden.
Fachgebiet[Bearbeiten | Quelltext bearbeiten]
Jacksons Forschung befasst sich mit dem Gebiet der Korrektheit von Spezifikationen und der Zuverlässigkeit von Software. Er ist Befürworter leichtgewichtiger formaler Methoden. Zusammen mit seinen Studenten hat er die formale Modellierungssprache Alloy sowie den Alloy Analyzer entwickelt, die man als Konzept und Werkzeug agiler Modellierung sehen kann.
Zwischen 2004 und 2007 leitete Jackson eine mehrjährige Studie des United States National Research Council über zuverlässige Systeme.[4]
Ausgewählte Publikationen[Bearbeiten | Quelltext bearbeiten]
- Daniel Jackson: Software Abstractions: Logic, Language, and Analysis. MIT Press, 2012.
- Daniel Jackson: Dependable Software by Design. In: Scientific American. Juni 2006 (scientificamerican.com).
- Daniel Jackson: Alloy: A Language and Tool for Exploring Software Designs in: Communications of the ACM, September 2019
- Daniel Jackson: The Essence of Software: Why Concepts Matter for Great Design. Princeton University Press, 2021.
Weblinks[Bearbeiten | Quelltext bearbeiten]
- Persönliche Webseite von Daniel Jackson am MIT
- Homepage von Alloy und Alloy Analyzer am MIT
- Daniel Jackson Photography
Einzelnachweise[Bearbeiten | Quelltext bearbeiten]
- ↑ Daniel Jackson: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge, Massachusetts.
- ↑ ACM Recognizes New Fellows. in: Communications of the ACM, Band 60, Heft 3, März 2017. ACM Digital Library
- ↑ Daniel Jackson Photography
- ↑ Sufficient Evidence? Building Certifiably Dependable Systems ( des vom 27. April 2019 im Internet Archive) Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis. Computer Science and Telecommunications Board.The National Academies
| Personendaten | |
|---|---|
| NAME | Jackson, Daniel |
| ALTERNATIVNAMEN | Jackson, Daniel N. |
| KURZBESCHREIBUNG | US-amerikanischer Informatiker und Hochschullehrer |
| GEBURTSDATUM | 1963 |