Clark, Edmund Melson

Edmund Melson Clarke, Jr. ( Eng.  Edmund Melson Clarke, Jr. , 1945. július 27., USA  - 2020. december 22. [3] ) amerikai tudós a számítógépelmélet területén, Turing-díjas. Legutóbb a Carnegie Mellon Egyetem informatika professzora volt .

Életrajz

Clark 1967 - ben a Virginia Egyetemen szerzett matematikából bachelor fokozatot , 1968 - ban pedig a Duke Egyetemen mesterdiplomát matematikából . Clark 1976 -ban szerzett PhD fokozatot számítástechnikából a Cornell Egyetemen , majd két évig tanított a Duke Egyetemen . Ezután a Harvardra költözött , ahol 1982 -ig dolgozott . Azóta Clark a Carnegie Mellon Egyetem munkatársa, és 1989 óta teljes körű professzori posztot töltött be . [négy]

Ed Clark tagja az ACM , az IEEE szakmai szervezeteinek és a National Academy of Engineering- nek az Egyesült Államok Nemzeti Tudományos Akadémiájánál , valamint a Sigma Xi és Phi Beta Kappa Society -nek .

2009. február végén Clarke a 28. helyen állt a CiteSeer projekt legtöbbet idézett szerzői listáján . [5]

Könyvek

• Clark, E., Grumberg, O. , Peled, D. A. Model Checking . - MIT Press , 1999. - P. 330. - ISBN 978-0-262-03270-4 .

Díjak

• 1995  – Technical Excellence Award (Semiconductor Research Corporation) [6]
• 1998  – Paris Kanellakis-díj ( ACM ) [7]
• 1999  – Allen Newell -díj ( a Carnegie Mellon Egyetem Számítástechnikai Tanszéke ) [8]
• 2004  – Harry Hood-emlékdíj [9]
• 2007  – Turing-díj , Emerson és Sifakis a modellellenőrzés fejlesztésében játszott szerepükért  , amely egy rendkívül hatékony programellenőrzési technika, amelyet széles körben használnak szoftver- és hardverfejlesztésben is [10] [11]
• 2008  – CADE Herbrand-díj [12]
• 2014  – Bower-díj

Jegyzetek

1. ↑ Edmund Clarke úttörő módszereket dolgozott ki a szoftver- és hardverhibák észlelésére
2. ↑ Matematikai genealógia  (angol) - 1997.
3. ↑ Edmund M. Clarke, a Carnegie Mellon Egyetem emeritus egyetemi professzora és a 2007-es Turing-díj – a Nobel-díj számítástechnikai megfelelőjének számító – társdíjasa decemberben hunyt el. 22. COVID-19 . Letöltve: 2020. december 24. Az eredetiből archiválva : 2020. december 23. (határozatlan)
4. ↑ Névtelen dokumentum . Letöltve: 2009. február 19. Az eredetiből archiválva : 2009. december 1.. (határozatlan)
5. ↑ Statisztika – A legtöbbet idézett szerzők a számítástechnikában . Letöltve: 2009. február 27. Az eredetiből archiválva : 2012. május 1.. (határozatlan)
6. ↑ Archivált másolat (a hivatkozás nem elérhető) . Letöltve: 2009. február 19. Az eredetiből archiválva : 2009. május 27.. (határozatlan) 
7. ↑ ACM Award Citation / Edmund M Clarke Archiválva : 2009. április 6. a Wayback Machine -nél
8. ↑ SZÁMÍTÁSTUDOMÁNYI ISKOLA, Carnegie Mellon Archiválva : 2011. június 11.
9. ↑ A rendszer nem elérhető (elérhetetlen link) . Letöltve: 2019. szeptember 18. Az eredetiből archiválva : 2011. június 29. (határozatlan) 
10. ↑ Az éves Turing-díj díjazottjai – Tudomány és technológia – A Compulenta bejelentette (elérhetetlen link) . Letöltve: 2009. február 19. Az eredetiből archiválva : 2009. február 21.. (határozatlan) 
11. ↑ ACM Award Citation / Edmund M Clarke (hivatkozás nem érhető el) . Letöltve: 2009. február 19. Az eredetiből archiválva : 2009. május 3.. (határozatlan) 
12. ↑ A Herbrand-díj az automatizált érveléshez nyújtott kiemelkedő hozzájárulásokért archiválva : 2008. december 10. a Wayback Machine -nél 

Lásd még

• Emerson, Allen
• Sifakis, József
• Modell validálás

Linkek

• Clark professzor oldala archiválva : 2009. március 26. a Wayback Machine -nél a Carnegie Mellon Egyetem  honlapján

Tematikus oldalak	Google ösztöndíjas Matematikai genealógia Scopus zbMATH Nyitva
Szótárak és enciklopédiák	Britannica (online)
Bibliográfiai katalógusokban BNF : 16505624q GND : 142488941 ISNI : 0000 0001 2119 7648 J9U : 987007457810605171 LCCN : n91023249 NKC : stk2007415785 NTA : 069871493 NUKAT : n99020693 SUDOC : 060781750 VIAF : 8050749 WorldCat VIAF : 8050749