Nir Shavit

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Nir Shavit en 2008.

Nir Shavit (né le 18 octobre 1959) 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)[modifier | modifier le code]

Livre
  • Maurice Herlihy et Nir Shavit, The Art of Multiprocessor Programming, Elsevier, (1re éd. 2008), 508 p. (ISBN 9780123973375 et 0123973376).
É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[modifier | modifier le code]

  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, Association for Computing Machinery, 2013.

Liens externes[modifier | modifier le code]