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

Дэниел Джексон (специалист по компьютерам) Биография Дэниела Джексона Родился в Лондоне в 1963 году  Изучал физику в Оксфорде, получил степень […]

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

  • Биография Дэниела Джексона

    • Родился в Лондоне в 1963 году 
    • Изучал физику в Оксфорде, получил степень магистра в 1984 году 
    • Работал инженером-программистом, вернулся в академические круги 
    • Получил докторскую степень в Массачусетском технологическом институте в 1992 году 
    • Занимал должности ассистента профессора и профессора в Массачусетском технологическом институте 
    • Член Ассоциации вычислительной техники и лауреат премии ACM SIGSOFT 
  • Исследования и разработки

    • Джексон фокусируется на надежности программного обеспечения 
    • Сторонник упрощенных формальных методов 
    • Разработал язык моделирования Alloy и инструмент анализа Alloy Analyzer 
    • Руководил исследованием надежных систем в США с 2004 по 2007 год 
  • Избранные публикации

    • Джексон опубликовал множество работ в области компьютерных наук 
    • Работы включают исследования в области надежности программного обеспечения и формальных методов 
  • Прочие достижения

    • Джексон также является фотографом, его работы демонстрировались в Массачусетском технологическом институте 
    • Его сын Майкл А. Джексон также является разработчиком программного обеспечения 
  • Ссылки

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

Полный текст статьи:

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

Оставьте комментарий

Прокрутить вверх