Joseph Halpern
Pour les articles homonymes, voir Halpern.
| Administrateur de société ArXiv |
|---|
| Naissance | |
|---|---|
| Décès | |
| Sépulture |
Cimetière de Lake View (en)Voir et modifier les données sur Wikidata |
| Nom dans la langue maternelle |
Joseph Yehuda HalpernVoir et modifier les données sur Wikidata |
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeurs de thèse | |
| Distinction |
prix Gödel 1997, prix Dijkstra 2009 |
modifier - modifier le code - modifier Wikidata Documentation du modèle
Joseph Yehuda Halpern, né le en Israël et mort le à Ithaca [1] , est professeur américain en informatique à l'université Cornell. Ses travaux de recherche concernent principalement le raisonnement sur la connaissance et l'incertitude.
Formation
[modifier | modifier le code ]Joseph 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 d'Albert R. Meyer et Gerald Sacks [2] .
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.
Joseph 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.
Joseph Halpern a écrit de très nombreux articles[3] .
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[4]
Responsabilités dans la communauté scientifique
[modifier | modifier le code ]Joseph 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[5] .
Publications
[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)
Notes et références
[modifier | modifier le code ]Notes
[modifier | modifier le code ]Références
[modifier | modifier le code ]- ↑ (en) « Joseph Y. Halpern Obituary February 13, 2026 », sur Bangs Funeral Home bangsfuneralhome.com (consulté le )
- ↑ (en) « Joseph Halpern », sur Mathematics Genealogy Project (consulté le )
- ↑ La base DBLP lui reconnaît 114 coauteurs différents.
- ↑ (en) 2012 Newly Elevated Fellows, Fellows récemment nommés.
- ↑ (en) « Computer Science », sur arxiv.org (consulté le )
Liens externes
[modifier | modifier le code ]- Ressources relatives à la rechercheVoir et modifier les données sur Wikidata :
Lauréats du prix Gödel |
|
|---|---|
|
- Professeur à l'université Cornell
- Personnalité américaine de l'informatique
- Étudiant de l'Université de Toronto
- Étudiant de l'université Harvard
- Personnalité liée à l'intelligence artificielle
- Personnalité en sécurité informatique
- Lauréat du prix Dijkstra
- Lauréat du prix Allen-Newell
- Boursier Guggenheim
- Personnalité d'IBM
- Membre de l'Association for the Advancement of Artificial Intelligence
- Naissance en mai 1953
- Naissance en Israël
- Décès en février 2026
- Décès à 72 ans
- Décès à Ithaca (New York)