Azərbaycanca AzərbaycancaБеларускі БеларускіDansk DanskDeutsch DeutschEspañola EspañolaFrançais FrançaisIndonesia IndonesiaItaliana Italiana日本語 日本語Қазақ ҚазақLietuvos LietuvosNederlands NederlandsPortuguês PortuguêsРусский Русскийසිංහල සිංහලแบบไทย แบบไทยTürkçe TürkçeУкраїнська Українська中國人 中國人United State United StateAfrikaans Afrikaans
Підтримка
www.wikidata.uk-ua.nina.az

Джерард Дж Гольцманн англ Gerard J Holzmann нар 12 листопада 1951 Амстердам нідерландський і американський інформатик та

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

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

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

Джерард Гольцманн
image
Народився12 листопада 1951(1951-11-12)[1] (72 роки)
Амстердам, Нідерланди
Місце проживанняАмстердам
Країнаimage Нідерланди
Діяльністьінформатик, інженер
Alma materDelft University of Technology
ГалузьПеревірка моделі
ЗакладЛабораторія реактивного руху[2]
Bell Laboratories[3]
Науковий керівникd[4]
ЧленствоНаціональна інженерна академія США
Association for Computing Machinery[5]
Нагороди

Походження та навчання

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

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

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

Наукова діяльність

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

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

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

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

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

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

Книги

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

  • The Spin Model Checker — Primer and Reference Manual, Addison-Wesley, 2003. .
  • 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. .

Посилання

  1. VIAF — [Dublin, Ohio]: OCLC, 2003.
    d:Track:Q54837d:Track:Q54919
  2. https://www.jpl.nasa.gov/news/news.php?feature=31
  3. https://lars-lab.jpl.nasa.gov/people/gh.html
  4. Математичний генеалогічний проєкт — 1997.
    d:Track:Q829984
  5. https://www.acm.org/binaries/content/assets/press-releases/2011/december/acm-fellows-2011c.pdf
  6. . Архів оригіналу за 3 січня 2011. Процитовано 8 січня 2011.(англ.)
  7. Holzmann, Gerard J. «The Pandora System: an interactive system for the design of data communication protocols.» Computer Networks (1976) 8.2 (1984): 71-79
  8. . Архів оригіналу за 19 січня 2019. Процитовано 30 травня 2019.
  9. . Архів оригіналу за 29 вересня 2020. Процитовано 31 серпня 2020.{{}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title ()
  10. . Архів оригіналу за 23 липня 2018. Процитовано 20 квітня 2018.
  11. Gerard J. Holzmann, ACM Fellows United States — 2011 [ 7 вересня 2014 у Wayback Machine.] at awards.acm.org
  12. . Архів оригіналу за 3 жовтня 2012. Процитовано 20 квітня 2018.

Зовнішні посилання

  • Офіційний вебсайт Джерарда Гольцмана [ 25 квітня 2018 у Wayback Machine.]


image Це незавершена стаття про IT-спеціаліста чи спеціалістку.
Ви можете проєкту, виправивши або дописавши її.

Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет

Dzherard Dzh Golcmann angl Gerard J Holzmann nar 12 listopada 1951 Amsterdam niderlandskij i amerikanskij informatik ta naukovij spivrobitnik laboratoriyi Bell i NASA najbilsh vidomij yak rozrobnik en Dzherard GolcmannNarodivsya12 listopada 1951 1951 11 12 1 72 roki Amsterdam NiderlandiMisce prozhivannyaAmsterdamKrayina NiderlandiDiyalnistinformatik inzhenerAlma materDelft University of TechnologyGaluzPerevirka modeliZakladLaboratoriya reaktivnogo ruhu 2 Bell Laboratories 3 Naukovij kerivnikd 4 ChlenstvoNacionalna inzhenerna akademiya SShA Association for Computing Machinery 5 Nagorodipremiya Kanellakisa 2005 d 2001 d 2015 d 2011 Pohodzhennya ta navchannyaGolcman narodivsya 1951 roku v Amsterdami Niderlandi i otrimav stupin inzhenera v galuzi elektrotehniki u Delftskomu tehnichnomu universiteti v 1976 roci Zgodom Dzherard Golcmann takozh otrimav stupin doktora filosofiyi u Delftskomu universitei v 1979 roci pid kerivnictvom V L van der Poelya ta Zh L de Krusa Disertaciya mala temu Problemi koordinaciyi v bagatoprocesornih sistemah Otrimavshi stipendiyu Fulbrajta vin prodovzhiv navchannya v aspiranturi Universitetu Pivdennoyi Kaliforniyi she rik de vin pracyuvav z Per Brinchem Hansenom Naukova diyalnistU 1980 roci Dzherard Golcmann pochav pracyuvati u laboratoriyi Bella Bell Labs na Myurrej Hill protyagom roku Povernuvshis do Niderlandiv vin buv pomichnikom profesora Delftskogo tehnichnogo universitetu protyagom dvoh rokiv U 1983 roci Dzherard Golcmann povernuvsya do laboratoriyi Bella de vin pracyuvav u Naukovo doslidnomu centri obchislyuvalnoyi nauki kolishnij doslidnickij grupi Unix U 2003 roci vin priyednavsya do NASA de vin ocholyuye laboratoriyu reaktivnogo ruhu dlya nadijnogo programnogo zabezpechennya NASA JPL v Pasadeni shtat Kaliforniya i pracyuye takozh spivrobitnikom JPL fellow Dzherard Golcman vidomij rozvitkom modeli perevirki modeli SPIN SPIN skorochennya vid Simple Promela Interpreter u 1980 h rokiv u laboratoriyi Bella Cej pristrij mozhe pereviriti pravilnist paralelnogo programnogo zabezpechennya yake ye u vilnomu dostupi z 1991 roku Nagorodi ta viznannyaU 1981 roci Dzherard Golcman buv nagorodzhenij premiyeyu profesora Bahlera nl U 2001 roci Asociaciyeyu obchislyuvalnih mashin ACM U 2005 roci vin oderzhav premiyu Kanellakisa potim u zhovtni 2012 roku medal NASA NASA Exceptional Engineering Achievement Meda za vinyatkovi tehnichni dosyagnennya U 2015 roci Dzherard Golcmann buv nagorodzhenij premiyeyu IEEE Harlana D Millsa Dzherard Golcman buv obranij do Nacionalnoyi akademiyi tehniki SShA v 2005 roci A v 2011 roci vin buv priznachenij chlenom Asociaciyi obchislyuvalnoyi tehniki KnigiPublikaciyi dobirka 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 kvitnya 2018 u Wayback Machine Prentice Hall 1988 ISBN 0 13 074410 7 PosilannyaVIAF Dublin Ohio OCLC 2003 d Track Q54837d Track Q54919 https www jpl nasa gov news news php feature 31 https lars lab jpl nasa gov people gh html Matematichnij genealogichnij proyekt 1997 d Track Q829984 https www acm org binaries content assets press releases 2011 december acm fellows 2011c pdf Arhiv originalu za 3 sichnya 2011 Procitovano 8 sichnya 2011 angl Holzmann Gerard J The Pandora System an interactive system for the design of data communication protocols Computer Networks 1976 8 2 1984 71 79 Arhiv originalu za 19 sichnya 2019 Procitovano 30 travnya 2019 Arhiv originalu za 29 veresnya 2020 Procitovano 31 serpnya 2020 a href wiki D0 A8 D0 B0 D0 B1 D0 BB D0 BE D0 BD Cite web title Shablon Cite web cite web a Obslugovuvannya CS1 Storinki z tekstom archived copy yak znachennya parametru title posilannya Arhiv originalu za 23 lipnya 2018 Procitovano 20 kvitnya 2018 Gerard J Holzmann ACM Fellows United States 2011 7 veresnya 2014 u Wayback Machine at awards acm org Arhiv originalu za 3 zhovtnya 2012 Procitovano 20 kvitnya 2018 Zovnishni posilannyaOficijnij vebsajt Dzherarda Golcmana 25 kvitnya 2018 u Wayback Machine Ce nezavershena stattya pro IT specialista chi specialistku Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi

Дата публікації:
Топ