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

Джерард Дж. Гольцманн (англ. Gerard J. Holzmann; нар. 12 листопада 1951, Амстердам) — нідерландський і американський інформатик та науковий співробітник лабораторії «Белл» і НАСА, найбільш відомий як розробник контрольної моделі SPIN[en].[4]

Джерард Гольцманн
Gerard J. Holzmann FLoC 2006.jpg
Народився 12 листопада 1951(1951-11-12)[1] (69 років)
Амстердам, Нідерланди
Місце проживання
Країна Flag of the Netherlands.svg Нідерланди
Діяльність інформатик, інженер
Alma mater Delft University of Technology
Галузь Перевірка моделі
Заклад Лабораторія реактивного руху[2] і Лабораторії Белла[3]
Науковий керівник Willem van der Poeld
Членство Національна інженерна академія США і Association for Computing Machinery
Нагороди

Походження та навчанняРедагувати

Гольцман народився 1951 року в Амстердамі (Нідерланди) і отримав ступінь інженера в галузі електротехніки у Делфтському технічному університеті в 1976 році.

Згодом Джерард Гольцманн також отримав ступінь доктора філософії у Делфтському університеі в 1979 році під керівництвом В. Л. ван дер Поеля та Ж. Л. де Круса. Дисертація мала тему «Проблеми координації в багатопроцесорних системах».

Отримавши стипендію Фулбрайта, він продовжив навчання в аспірантурі Університету Південної Каліфорнії ще рік, де він працював з Пер Брінчем Хансеном.

Наукова діяльністьРедагувати

У 1980 році Джерард Гольцманн почав працювати у лабораторії Белла (Bell Labs) на Мюррей-Хілл протягом року. Повернувшись до Нідерландів, він був помічником професора Делфтського технічного університету протягом двох років[5]. У 1983 році Джерард Гольцманн повернувся до лабораторії Белла, де він працював у Науково-дослідному центрі обчислювальної науки (колишній дослідницькій групі Unix).

У 2003 році він приєднався до НАСА, де він очолює лабораторію реактивного руху для надійного програмного забезпечення NASA JPL[6] в Пасадені, штат Каліфорнія і працює також співробітником JPL fellow.

Джерард Гольцман відомий розвитком моделі перевірки моделі SPIN (SPIN — скорочення від Simple Promela Interpreter) у 1980-х років у лабораторії Белла. Цей пристрій може перевірити правильність паралельного програмного забезпечення, яке є у вільному доступі з 1991 року.

Нагороди та визнанняРедагувати

У 1981 році Джерард Гольцман був нагороджений премією професора Бахлера Королівського нідерландського Інституту інженерів[5]. У 2001 році — Асоціацією обчислювальних машин (ACM). У 2005 році він одержав премію Канеллакіса, потім (у жовтні 2012 року) — медаль NASA (NASA Exceptional Engineering Achievement Meda) за виняткові технічні досягнення[4]. У 2015 році Джерард Гольцманн був нагороджений премією IEEE Харлана Д. Міллса[7].

Джерард Гольцман був обраний до Національної академії техніки США в 2005 році.[8] А в 2011 році він був призначений членом Асоціації обчислювальної техніки.[9].

КнигиРедагувати

Публікації, добірка:[10]

ПосиланняРедагувати

  1. OCLC. VIAF (Virtual International Authority File)[Dublin, Ohio]: OCLC, 2003.
  2. https://www.jpl.nasa.gov/news/news.php?feature=31
  3. https://lars-lab.jpl.nasa.gov/people/gh.html
  4. а б spin. Процитовано 8 January 2011. (англ.)
  5. а б Holzmann, Gerard J. «The Pandora System: an interactive system for the design of data communication protocols.» Computer Networks (1976) 8.2 (1984): 71-79
  6. Laboratory for Reliable Software. Архів оригіналу за 19 січень 2019. Процитовано 30 травень 2019. 
  7. https://www.computer.org/press-room/news-archive/holzmann
  8. NAE Members
  9. Gerard J. Holzmann, ACM Fellows United States — 2011 at awards.acm.org
  10. DBLP bibliography

Зовнішні посиланняРедагувати