Shlomo Moran
![une illustration sous licence libre serait bienvenue](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f7/Defaut_2.svg/langfr-260px-Defaut_2.svg.png)
Naissance | Yagur ![]() |
---|---|
Nationalité | israélien |
Formation | Technion ![]() |
Activité | Informaticien ![]() |
A travaillé pour | Technion |
---|---|
Domaine | |
Directeur de thèse | Azaria Paz (d) ![]() |
Distinction | Prix Gödel (1993) |
modifier - modifier le code - modifier Wikidata
Shlomo Moran, né en 1947, est un informaticien israélien, titulaire de la chaire Bernard Elkin en informatique au Technion (Institut israélien de technologie) à Haïfa, en Israël[1].
Shlomo Moran obtient un doctorat (Ph.D.) en 1979 au Technion, sous la direction d'Azaria Paz. Sa thèse est intitulée NP Optimization Problems and their Approximation[2]. En 1993 il obtient, conjointement avec László Babai, Shafi Goldwasser, Silvio Micali, et Charles Rackoff, le prix Gödel pour leurs travaux sur les systèmes de preuves interactives et notamment le protocole Arthur-Merlin[3],[4]
Ses recherches actuelles portent sur les aspects algorithmiques de la bio-informatique, et notamment la phylogénétique, la combinatoire et la théorie des graphes.
Source
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Shlomo Moran » (voir la liste des auteurs).
Notes et références
- ↑ Shlomo Moran, page officielle au Technion.
- ↑ (en) « Shlomo Moran », sur le site du Mathematics Genealogy Project.
- ↑ Prix Gödel 1993, sur SIGACT, ACM.
- ↑ L'article distingué est : (en) László Babai et Shlomo Moran, « Arthur-Merlin games: a randomized proof system and a hierarchy of complexity classes », Journal of Computer and System Sciences, vol. 36, , p. 254-276.
Liens externes
- Notices d'autorité
:
- VIAF
- ISNI
- LCCN
- Pays-Bas
- Pologne
- Israël
- NUKAT
- WorldCat
- Shlomo Moran, page officielle au Technion
- Shlomo Moran, page personnelle au Technion
- Shlomo Moran, sur Microsoft Academic Research
- Ressources relatives à la recherche
:
- Digital Bibliography & Library Project
- Google Scholar
- Mathematics Genealogy Project
- ResearchGate
v · m Lauréats du prix Gödel | |
---|---|
|
Portail de l'informatique théorique