Joseph Y. Halpern
Administrateur de société ArXiv |
---|
Naissance | (71 ans) Israël |
---|---|
Nationalité | américain |
Formation | |
Activités | Informaticien, professeur d'université, ingénieur, chercheur en intelligence artificielle |
A travaillé pour | |
---|---|
Membre de | |
Directeurs de thèse | Albert R. Meyer, Gerald Sacks |
Distinction | prix Gödel 1997, prix Dijkstra 2009 |
modifier - modifier le code - modifier Wikidata
Joseph Yehuda Halpern, né le , est professeur en informatique à l'université Cornell. Ses travaux de recherche concernent principalement le raisonnement sur la connaissance et incertitude.
Formation
Halpern obtient un baccalauréat de sciences B.S. en mathématiques à l'université de Toronto en 1975, et un doctorat Ph. D. en 1981 à l'université Harvard sous la direction conjointe de Albert R. Meyer et Gerald Sacks[1].
Contributions scientifiques
La recherche de Halpern tourne autour du raisonnement sur la connaissance et l'incertitude, et ses applications au calcul distribué, à l'intelligence artificielle, à la sécurité informatique, et la théorie des jeux. Il a également contribué, et il continue à s'intéresser, à des sujets comme la tolérance aux pannes en calcul distribué, logique modale, causalité, la vérification de programmes et sémantique des langages de programmation. Sa recherche a des connexions avec d'autres disciplines, comme l'économie, les mathématiques, la philosophie.
Halpern a écrit deux livres : Reasoning about Uncertainty et Reasoning About Knowledge. Parmi ses étudiants, il y a notamment Nir Friedman, Daphne Koller, et Yoram Moses.
Halpern a écrit de très nombreux articles[2].
Prix et distinctions
- 1997: prix Gödel en informatique théorique
- 2002: Fellow de l'Association for Computing Machinery
- 2008: prix Allen-Newell
- 2009: prix Dijkstra en calcul distribué
- 2012: IEEE Fellow'[3]
Responsabilités dans la communauté scientifique
Halpern est également administrateur du Computing Research Repository, la section informatique du site d'archive ArXiv, et il est modérateur pour les sous-sections General literature et Other du site[4].
Références
Livres
- Joseph Y. Halpern, Reasoning about Uncertainty, MIT Press, , 497 p. (ISBN 978-0-262-58259-9)
- Ronald Fagin, Joseph Y. Halpern, Yoram Y. Moses et Moshe Y. Vardi, Reasoning About Knowledge, Bradford, , 491 p. (ISBN 978-0-262-56200-3, lire en ligne)
Liens externes
- Page personnelle
- Ressources relatives à la recherche :
- Digital Bibliography & Library Project
- Google Scholar
- Mathematics Genealogy Project
- Research Papers in Economics
- Notices d'autorité :
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- CiNii
- Pays-Bas
- Pologne
- Israël
- NUKAT
- Suède
- Norvège
- Tchéquie
- WorldCat
v · m Lauréats du prix Gödel | |
---|---|
|
- Portail de l’informatique
- Portail de l'informatique théorique