Джерард Дж. Хольцманн - Gerard J. Holzmann

Джерард Дж. Хольцманн
Жерар Дж. Хольцманн FLoC 2006.jpg
Джерард Дж. Хольцманн 2006
Родился1951 (1951)
Амстердам, Нидерланды
Альма-матерДелфтский технологический университет
ИзвестенРазвитие Проверка модели SPIN
НаградыПремия Пэрис Канеллакис (2005)
Научная карьера
ПоляПроверка модели
УчрежденияBell Labs
ДокторантВиллем ван дер Поэль и J.L. de Kroes

Джерард Дж. Хольцманн (1951 г.р.) - американец голландского происхождения специалист в области информатики и исследователь в Bell Labs и НАСА, наиболее известный как разработчик Проверка модели SPIN.[1]

биография

Хольцманн родился в Амстердам, Нидерланды и получил Степень инженера в Электротехника от Делфтский технологический университет в 1976 г. Он впоследствии также получил кандидат наук степень от Делфтский университет в 1979 году под руководством W.L. ван дер Поэль и Й.Л. де Крус с диссертацией под названием Проблемы координации в многопроцессорных системах. После получения стипендии Фулбрайта он еще год был аспирантом Университета Южной Калифорнии, где работал с Пер Бринч Хансен.

В 1980 году он начал работать в Bell Labs в Мюррей-Хилл в течение года. Вернувшись в Нидерланды, он два года работал доцентом в Делфтском технологическом университете.[2] В 1983 году вернулся в Bell Labs где работал в Научно-исследовательском центре вычислительной техники (бывший Unix исследовательская группа). В 2003 году он присоединился к НАСА, где он возглавляет НАСА JPL Лаборатория надежного программного обеспечения[3] в Пасадена, Калифорния и сотрудник JPL.[1]

В 1981 году Хольцманн был удостоен премии профессора Бахлера. Королевский голландский институт инженеров,[2] то Награда за программную систему (для Spin) в 2001 году Ассоциацией вычислительной техники (ACM), Премия Пэрис Канеллакис в области теории и практики в 2005 г., а Медаль НАСА за выдающиеся инженерные достижения в октябре 2012 г.[1] Хольцманн был избран в США Национальная инженерная академия в 2005 году.[4] В 2011 году он был введен в должность научного сотрудника Ассоциация вычислительной техники.[5] В 2015 году награжден Премия IEEE Харлана Д. Миллса.[6]

Работа

Хольцманн известен разработкой Проверка модели SPIN (SPIN - сокращение от Простой переводчик Promela) в 1980-х годах в Bell Labs. Это устройство может проверить правильность параллельное программное обеспечение, с 1991 года в свободном доступе.

Книги

Публикации, подборка:[7]

  • Средство проверки спиновой модели - Праймер и справочное руководство, Эддисон-Уэсли, 2003. ISBN  0-321-22862-6.
  • Разработка и проверка компьютерных протоколов, Prentice Hall, 1991.
  • Ранняя история сетей передачи данных, IEEE Компьютерное общество Пресса, 1995.
  • Помимо фотографии - цифровая фотолаборатория, Prentice Hall, 1988. ISBN  0-13-074410-7.

использованная литература

  1. ^ а б c "вращение". Получено 8 января 2011.
  2. ^ а б Хольцманн, Джерард Дж. «Система Pandora: интерактивная система для разработки протоколов передачи данных». Компьютерная сеть (1976) 8.2 (1984): 71-79.
  3. ^ «Лаборатория надежного программного обеспечения». Архивировано из оригинал на 2019-01-19. Получено 2019-12-27.
  4. ^ Члены NAE
  5. ^ Джерард Дж. Хольцманн, стипендиаты ACM, США - 2011 г. в awards.acm.org.
  6. ^ https://www.computer.org/press-room/news-archive/holzmann
  7. ^ Библиография DBLP

внешние ссылки