Gerard J. Holzmann (narozený v roce 1951 v Nizozemí) je americký informatik a vědec pracující v Bell Labs a NASA. Holzmann je známý tím, že stál u vzniku model checkeru SPIN.[1]
Život
Holzmann se narodil v Amsterdamu v Nizozemí a získal v roce 1976 titul inženýr na fakultě elektrotechniky na TU Delft. Na stejné univerzitě získal v roce 1979 také Ph.D., jeho školitelem byl W.L. van der Poel a J.L. de Kroes, tématem jeho dizertační práce byla koordinace problémů v systémech s více procesy (Coordination problems in multiprocessing systems). Později Holzmann získal Fulbrightovo stipendium a působil rok na Univerzitě Jižní Kalifornie kde pracoval s Per Brinch Hansenem.
V roce 1980 začal pracovat v Bell Labs, kde zůstal jeden rok. Dále byl dva roky v Nizozemí odborným asistentem na TU Delft[2]. V roce 1983 se vrátil do Bell Labs kde pracoval v informatickém výzkumném centru. V roce 2003 začal pracovat v NASA, kde vede Laboratoř pro spolehlivý software[3] v Pasadeně v Kalifornii spadající pod NASA JPL.[1]
V roce 1981 získal cenu prof. Bahlera od Koninklijk Instituut van Ingenieurs,[2] v roce 2005 získal Paris Kanellakis Theory and Practice Award a v říjnu 2012 získal NASA Exceptional Engineering Achievement Medal.[1] Holzmann byl v roce 2005 zvolen do National Academy of Engineering v USA.[4] V roce 2011 se stal členem Association for Computing Machinery.[5]
Práce
Holzmann je nejlépe známý jako autor model checkeru SPIN který začal tvořit v osmdesátých letech v Bell Labs. Tento nástroj dokáže formálně verifikovat korektnost distribuovaného software. SPIN je volně dostupný od roku 1991.
Publikace
Výběr publikací:[6]
Reference
V tomto článku byl použit překlad textu z článku Gerard J. Holzmann na anglické Wikipedii.
Odkazy
