Joseph Y. Halpern

Joseph Yehuda Halpern

Zdjęcie zrobione w czerwcu 2008 r. W Szwajcarskim Federalnym Instytucie Technologii w Lozannie . Kluczowe dane

Narodziny	29 maja 1953
Narodowość	amerykański
Obszary	Informatyka
Instytucje	Uniwersytet Cornella
Dyplom	Uniwersytet Harwardzki
Kierownik	Albert R. Meyer i Gerald Sacks
Doktoranci	Nir Friedman , Daphne Koller , Yoram Moses
Nagrody	Nagroda Gödla w 1997 r. , Nagroda Dijkstry w 2009 r

Joseph Yehuda Halpern , urodzony dnia29 maja 1953Jest profesorem z informatyki na Uniwersytecie Cornell . Jego praca naukowa dotyczy głównie rozumowania opartego na wiedzy i niepewności.

Trening

Halpern otrzymał tytuł Bachelor of Science BS z matematyki na Uniwersytecie w Toronto w 1975 roku i dr Ph. D. w 1981 roku na Uniwersytecie Harvarda pod wspólnym kierownictwem Albert R. Meyera i Geralda Sacks .

Wkład naukowy

Badania Halperna koncentrują się wokół wiedzy i rozumowania niepewności oraz jego zastosowań w obliczeniach rozproszonych , sztucznej inteligencji , bezpieczeństwie komputerowym i teorii gier . Wniósł również wkład i nadal jest zainteresowany takimi tematami, jak tolerancja błędów w obliczeniach rozproszonych, logika modalna , przyczynowość , weryfikacja programu i semantyka języków programowania . Jego badania są powiązane z innymi dyscyplinami, takimi jak ekonomia, matematyka, filozofia.

Halpern napisał dwie książki: Rozumowanie o niepewności i Rozumowanie o wiedzy . Wśród jego uczniów są Nir Friedman , Daphne Koller i Yoram Moses .

Halpern napisał wiele, wiele artykułów.

Nagrody i uznanie

1997: Nagroda Gödla w dziedzinie informatyki teoretycznej
2002: Fellow z Association for Computing Machinery
2008: Nagroda Allena-Newella
2009: Nagroda Dijkstry w dziedzinie obliczeń rozproszonych
2012: IEEE Fellow '

Obowiązki w środowisku naukowym

Halpern jest również administratorem repozytorium Computing Research Repository , sekcji IT w witrynie archiwum ArXiv oraz moderatorem ogólnej literatury i innych podsekcji witryny.

Bibliografia

(w) „ Joseph Halpern ” na stronie Mathematics Genealogy Project .
Baza danych DBLP rozpoznaje 114 różnych współautorów.
(w) 2012 Newly Elevated Fellows , Fellows niedawno mianowani.
(w) Obszary tematyczne i moderatorzy , arxiv.org .

Książki

Joseph Y. Halpern , Rozumując o niepewności , MIT Press ,2005497 str. ( ISBN 978-0-262-58259-9 )
Ronald Fagin , Joseph Y. Halpern , Yoram Y. Moses i Moshe Y. Vardi , Reasoning About Knowledge , Bradford,2004491 str. ( ISBN 978-0-262-56200-3 , czytaj online )

(fr) Ten artykuł jest częściowo lub w całości zaczerpnięty z artykułu w angielskiej Wikipedii zatytułowanego „ Joseph Yehuda Halpern ” ( zobacz listę autorów ) .