|
Joseph Y. HalpernJoseph Yehuda Halpern  Photo prise en juin 2008 à l'École polytechnique fédérale de Lausanne.
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. FormationHalpern 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 scientifiquesLa 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é scientifiqueHalpern 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
(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
|
||||||||||||||||||
