Joseph Y. Halpern — Wikipédia
Administrateur de société ArXiv |
---|
Naissance | |
---|---|
Nationalité | |
Formation | |
Activités |
A travaillé pour | |
---|---|
Membre de | |
Directeurs de thèse | |
Distinction | prix Gödel 1997, prix Dijkstra 2009 |
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
[modifier | modifier le code]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
[modifier | modifier le code]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
[modifier | modifier le code]- 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
[modifier | modifier le code]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
[modifier | modifier le code]- (en) « Joseph Y. Halpern », sur le site du Mathematics Genealogy Project.
- La base DBLP lui reconnaît 114 coauteurs différents.
- (en) 2012 Newly Elevated Fellows, Fellows récemment nommés.
- (en) Subject areas and moderators, arxiv.org.
Livres
[modifier | modifier le code]- 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
[modifier | modifier le code]
- Ressources relatives à la recherche :