Nir Shavit

Nir Shavit
Nir Shavit en 2008
Biographie
Naissance
Voir et modifier les données sur Wikidata (64 ans)
Nationalité
israélienneVoir et modifier les données sur Wikidata
Formation
Activités
Informaticien, ingénieurVoir et modifier les données sur Wikidata
Conjoint
Shafrira GoldwasserVoir et modifier les données sur Wikidata
Autres informations
A travaillé pour
Directeur de thèse
Danny Dolev (en)Voir et modifier les données sur Wikidata
Distinctions
Prix Gödel ()
Prix Dijkstra ()
ACM FellowVoir et modifier les données sur Wikidata

modifier - modifier le code - modifier WikidataDocumentation du modèle

Nir Shavit (né le ) est un informaticien israélien. Il est professeur à l’université de Tel Aviv et au Massachusetts Institute of Technology. Il travaille sur les structures de données et les algorithmes de synchronisation, pour systèmes à multiprocesseurs et notamment sur la conception, l'implémentation et évaluation de structures de données concurrentes pour des machines multicœur, et les fondements mathématiques du modèle de calcul à mémoire partagée qui décrit leur comportement.

Nir Shavit obtient en 1984 un B. Sc. et en 1986 un M. Sc. en informatique au Technion et un Ph. D. en 1990 à l'université hébraïque de Jérusalem sous la direction de Danny Dolev (en) (titre de la thèse :« Concurrent time stamping »[1]. De 1999 à 2011 il était chez Sun Labs et Oracle Labs.

En 2004 il reçoit le prix Gödel pour The topological structure of asynchronous computation avec Maurice Herlihy[2]; le prix est attribué cette même année aussi à Michael Saks et Fotios Zaharoglou et en 2012 le Dijkstra-Preis pour la première introduction de la mémoire transactionnelle logicielle[3]. En 2013, il est Fellow de l'ACM[4].

Il était président du comité de programme du Symposium on Principles of Distributed Computing (PODC 2001) et du Symposium on Parallelism in Algorithms and Architectures (SPAA 2008), tous deux de l'ACM.

Ouvrages (sélection)

Livre
  • Maurice Herlihy et Nir Shavit, The Art of Multiprocessor Programming, Elsevier, (1re éd. 2008), 508 p. (ISBN 978-0-12-397337-5 et 0123973376, lire en ligne).
Édition de séminaire
  • Christof Fetzer, Tim Harris, Maurice Herlihy et Nir Shavit (éditeurs), Transactional Memory : From Implementation to Application, 08.06. - 13.06.2008., Schloss Dagstuhl - Leibniz-Zentrum für Informatik, coll. « Dagstuhl Seminar Proceedings 08241, », (lire en ligne)

Notes et références

  1. ↑ (en) « Nir Shavit », sur le site du Mathematics Genealogy Project.
  2. ↑ Maurice Herlihy et Nir Shavit, « The topological structure of asynchronous computation », Journal of the ACM, vol. 46, no 6,‎ , p. 858–923 (DOI 10.1145/331524.331529, lire en ligne).
  3. ↑ Nir Shavit et Dan Touitou, « Software transactional memory », Distributed Computing, vol. 10, no 2,‎ , p. 99-116 (DOI 10.1007/s004460050028).
  4. ↑ ACM Names Fellows for Computing Advances that Are Transforming Science and Society « Copie archivée » (version du sur Internet Archive), Association for Computing Machinery, 2013.

Liens externes

  • Page personnelle
  • Ressources relatives à la rechercheVoir et modifier les données sur Wikidata :
    • Digital Bibliography & Library Project
    • Mathematics Genealogy Project
  • Notices d'autoritéVoir et modifier les données sur Wikidata :
    • VIAF
    • ISNI
    • IdRef
    • LCCN
    • GND
    • Pays-Bas
    • Pologne
    • Israël
    • NUKAT
    • Tchéquie
    • Corée du Sud
    • WorldCat
v · m
Lauréats du prix Gödel
  • icône décorative Portail de l'informatique théorique