Joseph Y. Halpern

Joseph Yehuda Halpern
Photo prise en juin 2008 à l'École polytechnique fédérale de Lausanne.
Fonction
Administrateur de société
ArXiv
Biographie
Naissance
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Membre de
Directeurs de thèse
Distinction

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

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

  1. ↑ (en) « Joseph Y. Halpern », sur le site du Mathematics Genealogy Project.
  2. ↑ La base DBLP lui reconnaît 114 coauteurs différents.
  3. ↑ (en) 2012 Newly Elevated Fellows, Fellows récemment nommés.
  4. ↑ (en) Subject areas and moderators, arxiv.org.

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)
(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Joseph Yehuda Halpern » (voir la liste des auteurs).

Liens externes

  • icône décorative Portail de l’informatique
  • icône décorative Portail de l'informatique théorique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons – Attribution – Partage à l’identique. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.