Nir Shavit
From Wikipedia, the free encyclopedia
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités | |
| Conjoint |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse |
Danny Dolev (en) |
| Distinctions |
Prix Gödel () Prix Dijkstra () ACM Fellow () |
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.