Yoram Moses
Cet article est une ébauche concernant l’informatique théorique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Naissance | (67 ans) Afoula |
---|---|
Nationalité | israélienne |
Formation | |
Activités | Ingénieur, informaticien |
A travaillé pour | Technion |
---|---|
Directeur de thèse | Joseph Y. Halpern |
Site web | moses.eew.technion.ac.il |
Distinctions | Prix Gödel () Prix Dijkstra () |
modifier - modifier le code - modifier Wikidata
Yoram Moses (יוֹרָם מוֹזֶס), né le , est professeur au Technion, l'Institut israélien de technologie, spécialiste en informatique théorique. Yoram Moses a reçu son B.Sc. en mathématiques à l'université hébraïque de Jérusalem en 1981, et son doctorat en informatique à Stanford en 1986. Moses a gagné le prix Gödel en 1997[1] et le prix Dijkstra en 2009[2].
Yoram Moses est co-auteur du livre Reasoning about knowledge. Ses intérêts principaux sont les systèmes distribués et le raisonnement sur la connaissance (logique épistémique).
Liens externes
- Notices d'autorité :
- VIAF
- ISNI
- IdRef
- LCCN
- GND
- Pays-Bas
- Israël
- WorldCat
- Page personnelle Yoram Moses
- Ressources relatives à la recherche :
- Canal-U
- Digital Bibliography & Library Project
- Google Scholar
- Mathematics Genealogy Project
- Scopus
Notes et références
v · m Lauréats du prix Gödel | |
---|---|
|
- Portail de l'informatique théorique