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

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

Дэниел Джексон (1963 г.р.) - профессор Информатика на Массачусетский Институт Технологий (Массачусетский технологический институт). Он главный дизайнер Сплав язык моделирования и автор книги Программные абстракции: логика, язык и анализ.[1]

биография

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

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

Исследование

Исследования Джексона в целом направлены на повышение надежности программного обеспечения. Он сторонник легкие формальные методы.[6] Джексон и его ученики разработали Сплав язык и связанный с ним Анализатор сплавов инструмент анализа, обеспечивающий поддержку упрощенных спецификаций и моделирования.[7]

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

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

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

Рекомендации

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

внешняя ссылка