Джерард Дж. Хольцманн

• Биография Джерарда Дж. Хольцманна

  • Голландско-американский ученый, родился в Амстердаме в 1951 году. 
  • Получил образование в Делфтском технологическом университете, защитил докторскую диссертацию в 1979 году. 
  • Обучался в аспирантуре, работал в Bell Labs и NASA, где возглавляет лабораторию надежного программного обеспечения. 
  • Получил множество наград и премий за свои исследования в области компьютерных наук. 

• Работа и достижения

  • Известен разработкой программы проверки моделей SPIN в 1980-х годах. 
  • Программа SPIN позволяет проверять корректность параллельного программного обеспечения. 

• Публикации

  • Автор нескольких книг, включая учебник по программе SPIN и работы по разработке и валидации компьютерных протоколов. 

• Награды и признание

  • Получил звание профессора и множество наград и премий, включая премию ACM и медаль NASA. 
  • Избран членом Национальной инженерной академии США и Ассоциации вычислительной техники.