Naissance | |
---|---|
Nationalité | |
Formation | |
Activité |
A travaillé pour | |
---|---|
Domaine | |
Directeur de thèse |
Azaria Paz (d) |
Distinction |
Prix Gödel (1993) |
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.