Джерард Дж. Хольцманн (родился в 1951 г.) - голландско-американский ученый - компьютерщик и исследователь из Bell Labs и NASA , наиболее известный как разработчик средства проверки моделей SPIN . [1]
Джерард Дж. Хольцманн | |
---|---|
Родившийся | 1951 г. |
Альма-матер | Делфтский технологический университет |
Известен | Разработка программы проверки модели SPIN |
Награды | Премия Пэрис Канеллакис (2005) |
Научная карьера | |
Поля | Проверка модели |
Учреждения | Bell Labs |
Докторант | Виллем ван дер Поэль и Ж. Л. де Крус |
биография
Хольцман родился в Амстердаме , Нидерланды , и получил степень инженера в области электротехники из Технологического университета Делфта в 1976 г. Впоследствии он также получил докторскую степень от университета Делфта в 1979 году под WL ван дер Poel и JL де Kroes с диссертации на тему координации проблемы в многопроцессорных системах . После получения стипендии Фулбрайта он еще год проучился в аспирантуре Университета Южной Калифорнии, где работал с Пером Бринчем Хансеном .
В 1980 году он на год начал работать в Bell Labs в Мюррей-Хилле. Вернувшись в Нидерланды, он два года был доцентом Делфтского технологического университета. [2] В 1983 году он вернулся в Bell Labs, где работал в Научно-исследовательском центре вычислительной техники (бывшая исследовательская группа Unix ). В 2003 году он присоединился к НАСА , где он возглавляет Лабораторию надежного программного обеспечения NASA JPL [3] в Пасадене , Калифорния, и является научным сотрудником JPL. [1]
В 1981 году Хольцманн был удостоен проф Bahler премии в Royal Dutch институт инженеров , [2] System Award Software (для Спин) в 2001 году Ассоциацией вычислительной техники (ACM), на премию Париж Kanellakis Теория и практика в 2005 году и медалью НАСА за выдающиеся инженерные достижения в октябре 2012 года. [1] Хольцманн был избран членом Национальной инженерной академии США в 2005 году за создание систем проверки моделей для проверки программного обеспечения. [4] В 2011 году он был назначен членом Ассоциации вычислительной техники . [5] В 2015 году он был удостоен премии IEEE Harlan D. Mills Award . [6]
Работа
Хольцманн известен разработкой программы проверки модели SPIN (SPIN - сокращение от Simple Promela Interpreter ) в 1980-х годах в Bell Labs. Это устройство может проверять правильность параллельного программного обеспечения , с 1991 года в свободном доступе.
Книги
Публикации, подборка: [7]
- Средство проверки спиновой модели - учебник и справочное руководство , Addison-Wesley , 2003. ISBN 0-321-22862-6 .
- Разработка и проверка компьютерных протоколов , Prentice Hall , 1991.
- Ранняя история сетей передачи данных , IEEE Computer Society Press, 1995.
- Помимо фотографии - Цифровая фотолаборатория , Прентис-Холл , 1988. ISBN 0-13-074410-7 .
Рекомендации
- ^ а б в «закручивать» . Проверено 8 января 2011 года .
- ^ a b Хольцманн, Джерард Дж. «Система Pandora: интерактивная система для разработки протоколов передачи данных». Компьютерные сети (1976) 8.2 (1984): 71-79.
- ^ «Лаборатория надежного программного обеспечения» . Архивировано из оригинала на 2019-01-19 . Проверено 27 декабря 2019 .
- ^ Члены NAE
- ^ Джерард Дж. Хольцманн, стипендиаты ACM США - 2011 на awards.acm.org .
- ^ https://www.computer.org/press-room/news-archive/holzmann
- ^ Библиография DBLP
Внешние ссылки
- Домашняя страница
- Интервью