Nir Shavit

Biographie
Naissance	18octobre1959(64 ans)
Nationalité	israélienne
Formation	Université hébraïque de Jérusalem; Technion
Activités	Informaticien,ingénieur
Conjoint	Shafrira Goldwasser
A travaillé pour	Institut de technologie du Massachusetts; Université de Tel Aviv
Membre de	Association for Computing Machinery(2013)
Directeur de thèse	Danny Dolev(en)
Distinctions	Prix Gödel(2004); Prix Dijkstra(2012); ACM Fellow(2013)

Nir Shavit(né le18 octobre 1959) est uninformaticien israélien.Il est professeur à l’université de Tel Avivet auMassachusetts Institute of Technology.Il travaille sur les structures de données et les algorithmes de synchronisation, pour systèmes àmultiprocesseurset notamment sur la conception, l'implémentation et évaluation de structures de données concurrentes pour des machinesmulticœ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 unB. Sc.et en 1986 unM. Sc.en informatique auTechnionet unPh. D.en 1990 à l'université hébraïque de Jérusalemsous la direction deDanny 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 leprix GödelpourThe topological structure of asynchronous computationavecMaurice Herlihy^[2];le prix est attribué cette même année aussi àMichael SaksetFotios Zaharoglouet en 2012 leDijkstra-Preispour la première introduction de lamémoire transactionnelle logicielle^[3].En 2013, il estFellowde l'ACM^[4].

Il était président du comité de programme duSymposium on Principles of Distributed Computing(PODC 2001) et duSymposium 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,2012(1^reéd.2008), 508p.(ISBN 978-0-12-397337-5et0123973376,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, »,2008(lire en ligne)

Notes et références

↑(en)«Nir Shavit», surle site duMathematics Genealogy Project.
↑Maurice Herlihy et Nir Shavit, «The topological structure of asynchronous computation»,Journal of the ACM,vol.46,n^o6,‎1999,p.858–923(DOI10.1145/331524.331529,lire en ligne).
↑Nir Shavit et Dan Touitou, «Software transactional memory»,Distributed Computing,vol.10,n^o2,‎février 1997,p.99-116(DOI10.1007/s004460050028).
↑ACM Names Fellows for Computing Advances that Are Transforming Science and Society«Copie archivée»(version du23 juillet 2018surInternet Archive),Association for Computing Machinery,2013.

Liens externes

Page personnelle
Ressources relatives à la recherche:
- Digital Bibliography & Library Project
- Mathematics Genealogy Project
Notices d'autorité:

Portail de l'informatique théorique

[1] (en)«Nir Shavit», surle site duMathematics Genealogy Project.

[2] Maurice Herlihy et Nir Shavit, «The topological structure of asynchronous computation»,Journal of the ACM,vol.46,n^o6,‎1999,p.858–923(DOI10.1145/331524.331529,lire en ligne).

[3] Nir Shavit et Dan Touitou, «Software transactional memory»,Distributed Computing,vol.10,n^o2,‎février 1997,p.99-116(DOI10.1007/s004460050028).

[4] ACM Names Fellows for Computing Advances that Are Transforming Science and Society«Copie archivée»(version du23 juillet 2018surInternet Archive),Association for Computing Machinery,2013.

[1]

[2]

[3]

[4]