Джерард Гольцманн
Джерард Гольцманн | |
---|---|
![]() | |
Народився | 12 листопада 1951[1] (72 роки) Амстердам, Нідерланди |
Місце проживання | Амстердам |
Країна | ![]() |
Діяльність | інформатик, інженер |
Alma mater | Delft University of Technology |
Галузь | Перевірка моделі |
Заклад | Лабораторія реактивного руху[2] Bell Laboratories[3] |
Науковий керівник | Willem van der Poeld[4] |
Членство | Національна інженерна академія США Association for Computing Machinery[5] |
Нагороди |
Джерард Дж. Гольцманн (англ. Gerard J. Holzmann; нар. 12 листопада 1951, Амстердам) — нідерландський і американський інформатик та науковий співробітник лабораторії «Белл» і НАСА, найбільш відомий як розробник контрольної моделі SPIN[en].[6]
Гольцман народився 1951 року в Амстердамі (Нідерланди) і отримав ступінь інженера в галузі електротехніки у Делфтському технічному університеті в 1976 році.
Згодом Джерард Гольцманн також отримав ступінь доктора філософії у Делфтському університеі в 1979 році під керівництвом В. Л. ван дер Поеля та Ж. Л. де Круса. Дисертація мала тему «Проблеми координації в багатопроцесорних системах».
Отримавши стипендію Фулбрайта, він продовжив навчання в аспірантурі Університету Південної Каліфорнії ще рік, де він працював з Пер Брінчем Хансеном.
У 1980 році Джерард Гольцманн почав працювати у лабораторії Белла (Bell Labs) на Мюррей-Хілл протягом року. Повернувшись до Нідерландів, він був помічником професора Делфтського технічного університету протягом двох років[7]. У 1983 році Джерард Гольцманн повернувся до лабораторії Белла, де він працював у Науково-дослідному центрі обчислювальної науки (колишній дослідницькій групі Unix).
У 2003 році він приєднався до НАСА, де він очолює лабораторію реактивного руху для надійного програмного забезпечення NASA JPL[8] в Пасадені, штат Каліфорнія і працює також співробітником JPL fellow.
Джерард Гольцман відомий розвитком моделі перевірки моделі SPIN (SPIN — скорочення від Simple Promela Interpreter) у 1980-х років у лабораторії Белла. Цей пристрій може перевірити правильність паралельного програмного забезпечення, яке є у вільному доступі з 1991 року.
У 1981 році Джерард Гольцман був нагороджений премією професора Бахлера Королівського нідерландського Інституту інженерів[nl][7]. У 2001 році — Асоціацією обчислювальних машин (ACM). У 2005 році він одержав премію Канеллакіса, потім (у жовтні 2012 року) — медаль NASA (NASA Exceptional Engineering Achievement Meda) за виняткові технічні досягнення[6]. У 2015 році Джерард Гольцманн був нагороджений премією IEEE Харлана Д. Міллса[9].
Джерард Гольцман був обраний до Національної академії техніки США в 2005 році.[10] А в 2011 році він був призначений членом Асоціації обчислювальної техніки.[11].
Публікації, добірка:[12]
- The Spin Model Checker — Primer and Reference Manual, Addison-Wesley, 2003. ISBN 0-321-22862-6.
- Design and Validation of Computer Protocols, Prentice Hall, 1991.
- The Early History of Data Networks, IEEE Computer Society Press, 1995.
- Beyond Photography — The Digital Darkroom [Архівовано 18 квітня 2018 у Wayback Machine.], Prentice Hall, 1988. ISBN 0-13-074410-7.
- ↑ VIAF — [Dublin, Ohio]: OCLC, 2003.
- ↑ https://www.jpl.nasa.gov/news/news.php?feature=31
- ↑ https://lars-lab.jpl.nasa.gov/people/gh.html
- ↑ Математичний генеалогічний проєкт — 1997.
- ↑ https://www.acm.org/binaries/content/assets/press-releases/2011/december/acm-fellows-2011c.pdf
- ↑ а б spin. Архів оригіналу за 3 січня 2011. Процитовано 8 січня 2011.(англ.)
- ↑ а б Holzmann, Gerard J. «The Pandora System: an interactive system for the design of data communication protocols.» Computer Networks (1976) 8.2 (1984): 71-79
- ↑ Laboratory for Reliable Software. Архів оригіналу за 19 січня 2019. Процитовано 30 травня 2019.
- ↑ Архівована копія. Архів оригіналу за 29 вересня 2020. Процитовано 31 серпня 2020.
{{cite web}}
: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title (посилання) - ↑ NAE Members. Архів оригіналу за 23 липня 2018. Процитовано 20 квітня 2018.
- ↑ Gerard J. Holzmann, ACM Fellows United States — 2011 [Архівовано 7 вересня 2014 у Wayback Machine.] at awards.acm.org
- ↑ DBLP bibliography. Архів оригіналу за 3 жовтня 2012. Процитовано 20 квітня 2018.
- Офіційний вебсайт Джерарда Гольцмана [Архівовано 25 квітня 2018 у Wayback Machine.]
- Інтерв'ю
![]() |
Це незавершена стаття про IT-спеціаліста чи спеціалістку. Ви можете допомогти проєкту, виправивши або дописавши її. |