Дэниел Джексон (ученый-компьютерщик)

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

Дэниел Джексон (род. 1963) — профессор компьютерных наук Массачусетского технологического института (MIT). Он является главным разработчиком языка моделирования Alloy и автором книг «Абстракции программного обеспечения: логика, язык и анализ». ^[1] и Сущность программного обеспечения . ^[2] Он возглавляет группу разработки программного обеспечения в Лаборатории компьютерных наук и искусственного интеллекта Массачусетского технологического института .

Биография [ править ]

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

Джексон также является фотографом и интересуется прямым стилем фотографии . Музей Массачусетского технологического института заказал ему серию фотографий лабораторий Массачусетского технологического института , выставленных с мая по декабрь 2012 года, для сопровождения выставки изображений Беренис Эбботт .Джексон — сын исследователя программного обеспечения Майкла А. Джексона . ^[7] разработчик структурного программирования Джексона (JSP), разработки систем Джексона (JSD) и подхода проблемных фреймов .

Исследования [ править ]

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

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

Избранные публикации [ править ]

Джексон, Дэниел; Томас, Мартин ; Миллетт, Линетт И., ред. (май 2007 г.). Программное обеспечение для надежных систем: достаточно доказательств? . Вашингтон, округ Колумбия: Издательство национальных академий. дои : 10.17226/11923 . ISBN 978-0-309-10394-7 .
Джексон, Дэниел (апрель 2006 г.). Абстракции программного обеспечения: логика, язык и анализ . Кембридж, Массачусетс: MIT Press. ISBN 978-0-262-10114-1 . Проверено 10 января 2009 г.
Джексон, Дэниел (июнь 2006 г.). «Надежное программное обеспечение по дизайну» . Научный американец . 294 (6): 68–75. Бибкод : 2006SciAm.294f..68J . doi : 10.1038/scientificamerican0606-68 . ПМИД 16711362 .
Джексон, Дэниел (апрель 2002 г.). «Сплав: облегченная нотация моделирования объектов» (PDF) . Транзакции ACM по программной инженерии и методологии . 11 (2): 256–290. CiteSeerX 10.1.1.12.4127 . дои : 10.1145/505145.505149 . S2CID 5683166 .

Ссылки [ править ]

^ Джексон, Дэниел (апрель 2006 г.). Абстракции программного обеспечения: логика, язык и анализ . Кембридж, Массачусетс: MIT Press. ISBN 978-0-262-10114-1 . Проверено 10 января 2009 г.
^ Джексон, Дэниел (ноябрь 2021 г.). Сущность программного обеспечения . Издательство Принстонского университета. ISBN 978-0-691-225-388 . Проверено 22 марта 2024 г.
^ Джексон, Дэниел. «ДЭНИЭЛ ДЖЕКСОН» . Прямая фотография Дэниела Джексона . Архивировано из оригинала 13 ноября 2007 года . Проверено 9 января 2009 г.
^ «Профессор Дэниел Джексон» . Группа разработки программного обеспечения CSAIL . Архивировано из оригинала 9 августа 2012 года . Проверено 9 января 2009 г.
^ Сотрудники Cacm (март 2017 г.), «ACM признает новых сотрудников», Сообщения ACM , 60 (3): 23, doi : 10.1145/3039921 , S2CID 31701275 .
^ «Награда за выдающиеся исследования» . Ассоциация вычислительной техники . Проверено 7 апреля 2024 г.
^ Джексон, Дэниел. «Дэниел Джексон» . Страницы факультета CSAIL . Проверено 9 января 2009 г.
^ Джексон, Дэниел; Винг, Жаннетт (апрель 1996 г.). Саидиан, Хосейн (ред.). «Приглашение к формальным методам: облегченные формальные методы» . IEEE-компьютер . 29 (4): 16. дои : 10.1109/MC.1996.488298 . S2CID 15230509 .
^ Джексон, Дэниел (апрель 2002 г.). «Сплав: облегченная нотация моделирования объектов» (PDF) . Транзакции ACM по программной инженерии и методологии . 11 (2): 256–290. CiteSeerX 10.1.1.12.4127 . дои : 10.1145/505145.505149 . S2CID 5683166 .
^ «Достаточные доказательства? Создание сертифицированно надежных систем» . Совет по информатике и телекоммуникациям . Национальные академии. Архивировано из оригинала 27 апреля 2019 года . Проверено 9 января 2009 г.

Внешние ссылки [ править ]

Дэниел Джексон Домашняя страница Массачусетского технологического института
Веб-сайт фотографий Дэниела Джексона
Дэниел Джексон на DBLP библиографическом сервере

[1] Джексон, Дэниел (апрель 2006 г.). Абстракции программного обеспечения: логика, язык и анализ . Кембридж, Массачусетс: MIT Press. ISBN 978-0-262-10114-1 . Проверено 10 января 2009 г.

[2] Джексон, Дэниел (ноябрь 2021 г.). Сущность программного обеспечения . Издательство Принстонского университета. ISBN 978-0-691-225-388 . Проверено 22 марта 2024 г.

[straightphoto-3] Джексон, Дэниел. «ДЭНИЭЛ ДЖЕКСОН» . Прямая фотография Дэниела Джексона . Архивировано из оригинала 13 ноября 2007 года . Проверено 9 января 2009 г.

[4] «Профессор Дэниел Джексон» . Группа разработки программного обеспечения CSAIL . Архивировано из оригинала 9 августа 2012 года . Проверено 9 января 2009 г.

[5] Сотрудники Cacm (март 2017 г.), «ACM признает новых сотрудников», Сообщения ACM , 60 (3): 23, doi : 10.1145/3039921 , S2CID 31701275 .

[6] «Награда за выдающиеся исследования» . Ассоциация вычислительной техники . Проверено 7 апреля 2024 г.

[7] Джексон, Дэниел. «Дэниел Джексон» . Страницы факультета CSAIL . Проверено 9 января 2009 г.

[8] Джексон, Дэниел; Винг, Жаннетт (апрель 1996 г.). Саидиан, Хосейн (ред.). «Приглашение к формальным методам: облегченные формальные методы» . IEEE-компьютер . 29 (4): 16. дои : 10.1109/MC.1996.488298 . S2CID 15230509 .

[9] Джексон, Дэниел (апрель 2002 г.). «Сплав: облегченная нотация моделирования объектов» (PDF) . Транзакции ACM по программной инженерии и методологии . 11 (2): 256–290. CiteSeerX 10.1.1.12.4127 . дои : 10.1145/505145.505149 . S2CID 5683166 .

[10] «Достаточные доказательства? Создание сертифицированно надежных систем» . Совет по информатике и телекоммуникациям . Национальные академии. Архивировано из оригинала 27 апреля 2019 года . Проверено 9 января 2009 г.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Норвегия Германия Израиль Соединенные Штаты Япония Польша
академики	Ассоциация вычислительной техники ДБЛП Проект математической генеалогии Скопус zbMATH
Художники	Личности фотографов
Другой	ЗАКУСКА ИдРеф