Дэниел Джексон (специалист по информатике)

Дэниел Джексон
Альма-матер
ЗанятиеУченый-компьютерщик
ИзвестныйЛегкие формальные методы и язык спецификации Alloy
Научная карьера
УчрежденияМассачусетский технологический институт
научный руководительДжон Гуттаг

Дэниел Джексон (родился в 1963 году) — профессор компьютерных наук в Массачусетском технологическом институте (MIT). Он является главным разработчиком языка моделирования Alloy и автором книг Software Abstractions: Logic, Language, and Analysis [1] и The Essence of Software . [2] Он возглавляет группу разработки программного обеспечения в Лаборатории компьютерных наук и искусственного интеллекта Массачусетского технологического института .

Биография

Джексон родился в Лондоне, Англия, в 1963 году. [3] Он изучал физику в Оксфордском университете , получив степень магистра в 1984 году. После получения степени магистра Джексон два года работал инженером-программистом в Logica UK Ltd. Затем он вернулся в академическую сферу, чтобы изучать компьютерные науки в Массачусетском технологическом институте, где в 1988 году получил степень магистра , а в 1992 году — степень доктора философии. После получения докторской степени Джексон занял должность доцента кафедры компьютерных наук в Университете Карнеги-Меллона , которую занимал до 1997 года. [4] Он работает на факультете кафедры электротехники и компьютерных наук Массачусетского технологического института с 1997 года. В 2017 году он стал членом Ассоциации вычислительной техники . [5] В том же году он был награжден премией ACM SIGSOFT Outstanding Research Award. [6]

Джексон также фотограф и интересуется стилем прямой фотографии . Музей MIT заказал ему серию фотографий лабораторий MIT , которые экспонировались с мая по декабрь 2012 года, чтобы дополнить выставку изображений Беренис Эбботт . Джексон — сын исследователя в области разработки программного обеспечения Майкла А. Джексона [7] , разработчика Jackson Structured Programming (JSP), Jackson System Development (JSD) и Problem Frames Approach .

Исследовать

Исследования Джексона в целом касаются повышения надежности программного обеспечения. Он является сторонником легких формальных методов . [8] Джексон и его студенты разработали язык Alloy и связанный с ним аналитический инструмент Alloy Analyzer для поддержки легких усилий по спецификации и моделированию. [9]

В период с 2004 по 2007 год Джексон возглавлял многолетнее исследование Национального исследовательского совета США по надежным системам . [10]

Избранные публикации

  • Джексон, Дэниел; Томас, Мартин ; Миллетт, Линетт И., ред. (май 2007 г.). Программное обеспечение для надежных систем: достаточно доказательств?. Вашингтон, округ Колумбия: The National Academies Press. doi : 10.17226/11923. ISBN 978-0-309-10394-7.
  • Джексон, Дэниел (апрель 2006 г.). Абстракции программного обеспечения: логика, язык и анализ. Кембридж, Массачусетс: MIT Press. ISBN 978-0-262-10114-1. Получено 10 января 2009 г.
  • Джексон, Дэниел (июнь 2006 г.). «Надежное программное обеспечение по проектированию». Scientific American . 294 (6): 68–75. Bibcode : 2006SciAm.294f..68J. doi : 10.1038/scientificamerican0606-68. PMID  16711362.
  • Джексон, Дэниел (апрель 2002 г.). «Alloy: A Lightweight Object Modelling Notation» (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.

Ссылки

  1. ^ Джексон, Дэниел (апрель 2006 г.). Абстракции программного обеспечения: логика, язык и анализ. Кембридж, Массачусетс: MIT Press. ISBN 978-0-262-10114-1. Получено 10 января 2009 г.
  2. ^ Джексон, Дэниел (ноябрь 2021 г.). Сущность программного обеспечения. Princeton University Press. ISBN 978-0-691-225-388. Получено 22 марта 2024 г. .
  3. ^ Джексон, Дэниел. "ДЭНИЕЛ ДЖЕКСОН". Straight Photography Дэниела Джексона . Архивировано из оригинала 13 ноября 2007 года . Получено 9 января 2009 года .
  4. ^ "Проф. Дэниел Джексон". CSAIL Software Design Group . Архивировано из оригинала 9 августа 2012 года . Получено 9 января 2009 года .
  5. ^ Сотрудники Cacm (март 2017 г.), «ACM признаёт новых членов», Сообщения ACM , 60 (3): 23, doi : 10.1145/3039921, S2CID  31701275.
  6. ^ "Премия за выдающиеся исследования". Ассоциация вычислительной техники . Получено 7 апреля 2024 г.
  7. ^ Джексон, Дэниел. "Дэниел Джексон". CSAIL Faculty Pages . Получено 9 января 2009 г.
  8. ^ Джексон, Дэниел; Винг, Жанетт (апрель 1996 г.). Саидиан, Хоссейн (ред.). «Приглашение к формальным методам: облегченные формальные методы». IEEE Computer . 29 (4): 16. doi :10.1109/MC.1996.488298. S2CID  15230509.
  9. ^ Джексон, Дэниел (апрель 2002 г.). «Alloy: A Lightweight Object Modelling Notation» (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. ^ "Достаточные доказательства? Создание сертифицированно надежных систем". Computer Science and Telecommunications Board . The National Academies. Архивировано из оригинала 27 апреля 2019 года . Получено 9 января 2009 года .
  • Домашняя страница Массачусетского технологического института имени Дэниела Джексона
  • Сайт фотографии Дэниела Джексона
  • Дэниел Джексон на библиографическом сервере DBLP
Взято с "https://en.wikipedia.org/w/index.php?title=Дэниел_Джексон_(ученый_компьютерщик)&oldid=1225385927"