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

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

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

• Исследования и разработки

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

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

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

• Прочие достижения

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

• Ссылки

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