Джерард Дж. Хольцманн
-
Биография Джерарда Дж. Хольцманна
- Голландско-американский ученый, родился в Амстердаме в 1951 году.
- Получил образование в Делфтском технологическом университете, защитил докторскую диссертацию в 1979 году.
- Обучался в аспирантуре, работал в Bell Labs и NASA, где возглавляет лабораторию надежного программного обеспечения.
- Получил множество наград и премий за свои исследования в области компьютерных наук.
-
Работа и достижения
- Известен разработкой программы проверки моделей SPIN в 1980-х годах.
- Программа SPIN позволяет проверять корректность параллельного программного обеспечения.
-
Публикации
- Автор нескольких книг, включая учебник по программе SPIN и работы по разработке и валидации компьютерных протоколов.
-
Награды и признание
- Получил звание профессора и множество наград и премий, включая премию ACM и медаль NASA.
- Избран членом Национальной инженерной академии США и Ассоциации вычислительной техники.
Полный текст статьи: