Джерард Дж. Хольцманн
Джерард Дж. Хольцманн | |
|---|---|
 Джерард Дж. Хольцманн, 2006 г. | |
| Рожденный | 1951 |
| Альма-матер | Делфтский технологический университет |
| Известный | Разработка средства проверки моделей SPIN |
| Награды | Премия Пэрис Канеллакис (2005) |
| Научная карьера | |
| Поля | Проверка модели |
| Учреждения | Белл Лаборатории |
| Докторантура | Виллем ван дер Поэль и Х. Л. де Крус |
Джерард Дж. Хольцманн (род. 1951) — голландско-американский ученый-компьютерщик и исследователь из Bell Labs и НАСА , наиболее известный как разработчик средства проверки моделей SPIN . [1]
Биография [ править ]
Хольцманн родился в Амстердаме , Нидерланды , и получил степень инженера в области электротехники в Делфтском технологическом университете в 1976 году. Впоследствии он также получил степень доктора философии в Делфтском университете в 1979 году под руководством Виллема ван дер Поля и Дж. Л. де Кроса, защитив диссертацию на тему «Координация». Проблемы в многопроцессорных системах . После получения стипендии Фулбрайта он еще год был аспирантом Университета Южной Калифорнии , где работал с Пером Бринчом Хансеном .
В 1980 году он проработал в Bell Labs год в Мюррей-Хилл. Вернувшись в Нидерланды, он в течение двух лет работал доцентом Делфтского технологического университета. [2] В 1983 году он вернулся в Bell Labs , где работал в Исследовательском центре компьютерных наук (бывшая исследовательская группа Unix ). В 2003 году он присоединился к NASA , где возглавляет JPL НАСА. Лабораторию надёжного программного обеспечения [3] в Пасадене , Калифорния , и является научным сотрудником Лаборатории реактивного движения. [1]
В 1981 году Хольцманн был удостоен премии профессора Бахлера от Королевского голландского инженерного института . [2] (ACM) выбрала его на премию Software System Award (для SPIN) В 2001 году Ассоциация вычислительной техники . В 2002 году он был удостоен премии ACM SIGSOFT за выдающиеся исследования. [4] В 2005 году он был выбран на премию Парижа Канеллакиса в области теории и практики . [1] В 2005 году он был избран членом Национальной инженерной академии США за создание систем проверки моделей для верификации программного обеспечения. [5] В 2011 году он был избран членом Ассоциации вычислительной техники . [6] В октябре 2012 года он был награжден медалью НАСА за выдающиеся инженерные достижения . [1] В 2015 году он был удостоен премии IEEE Harlan D. Mills Award . [7]
Работа [ править ]
Хольцманн известен разработкой средства проверки моделей SPIN (SPIN — сокращение от Simple Promela Interpreter ) в 1980-х годах в Bell Labs. Это устройство может проверять корректность параллельного программного обеспечения , с 1991 года свободно доступного.
Книги [ править ]
Публикации, подборка: [8]
- Средство проверки спиновой модели — учебник для начинающих и справочное руководство , Addison-Wesley , 2003. ISBN 0-321-22862-6 .
- Проектирование и проверка компьютерных протоколов , Прентис Холл , 1991.
- Ранняя история сетей передачи данных , IEEE Computer Society Press, 1995.
- За пределами фотографии — Цифровая фотолаборатория , Прентис-холл , 1988. ISBN 0-13-074410-7 .
Ссылки [ править ]
- ^ Jump up to: Перейти обратно: а б с д "вращаться" . Проверено 8 января 2011 г.
- ^ Jump up to: Перейти обратно: а б Хольцманн, Джерард Дж. «Система Пандора: интерактивная система для разработки протоколов передачи данных». Компьютерные сети (1976) 8.2 (1984): 71-79.
- ^ «Лаборатория надежного программного обеспечения» . Архивировано из оригинала 19 января 2019 г. Проверено 27 декабря 2019 г.
- ^ «Награда за выдающиеся исследования» . СИГСОФТ . Проверено 1 апреля 2024 г.
- ^ Члены НАЭ
- ^ Джерард Дж. Хольцманн, стипендиат ACM США – 2011 г., на Awards.acm.org .
- ^ «Премия Миллса 2014 года Хольцманну | Компьютерное общество IEEE» . 13 апреля 2018 г.
- ^ «Библиография ДБЛП» . Архивировано из оригинала 3 октября 2012 г. Проверено 29 сентября 2005 г.
Внешние ссылки [ править ]
- 1951 рождений
- Живые люди
- Американские ученые-компьютерщики
- Голландские ученые-компьютерщики
- Формальные методы люди
- Ученые из Bell Labs
- Выпускники Делфтского технологического университета
- Ученые из Амстердама
- люди НАСА
- Голландские эмигранты в США
- Члены Ассоциации вычислительной техники 2011 г.
- Члены Национальной инженерной академии США
- Сотрудники лаборатории реактивного движения