Paris Kanellakis
Paris Christos Kanellakis (grec moderne : Πάρις Χρήστος Κανελλάκης), né le à Athènes et mort le dans le crash du vol 965 d'American Airlines, est un informaticien gréco-américain. Né citoyen grec, il a obtenu la nationalité américaine en 1988[1].
Naissance | |
---|---|
Décès | |
Nationalités | |
Domicile | |
Formation | |
Activité |
A travaillé pour | |
---|---|
Maître |
Michael Athans (en) |
Directeur de thèse |
Biographie
modifierEn 1976, Kanellakis obtient un diplôme en génie électrique à l'université polytechnique nationale d'Athènes, avec une thèse supervisée par Emmanuel Protonotarios[1]. Il poursuit ses études supérieures en génie électrique et informatique au Massachusetts Institute of Technology. Il obtient son M. Sc. en 1978 et son Ph. D. sous la direction de Papadimitriou au MIT avec une thèse intitulée The complexity of concurrency control for distributed databases en février 1982[1],[2].
En 1981, il rejoint le département d'informatique de l'université Brown en tant que professeur assistant. Il devient professeur associé en en 1986 et professeur titulaire en 1990[1]. Il est professeur en « junior sabbatical » au MIT Computer Science and Artificial Intelligence Laboratory en 1984 , travaillant avec Nancy Lynch, et en 1988 pour une année sabbatique spéciale à l'INRIA, où il travaille avec Serge Abiteboul.
Kanellakis meurt le 20 décembre 1995, avec sa femme et leurs deux enfants dans l'accident du vol 965 d'American Airlines.
Recherche
modifierSes contributions scientifiques sont dans le domaine de la théorie des bases de données, notamment sur les bases de données déductives, les bases de données orientées objet, et les bases de données à contraintes, ainsi que dans la tolérance aux pannes, le calcul distribué et en théorie des types[1],[3]. Il a participé aux comités de programme de nombreuses conférences internationales[1].
Alexander Allister Shvartsman et Kanellakis ont écrit une monographie : Fault-Tolerant Parallel Computation[4]. Au moment de sa mort, le livre était encore incomplet[5].
Prix et distinctions
modifier- 1985 : IBM Faculty Development Award.
- 1987-1989 : Bourse Sloan en mathématiques.
- En 2021, il est lauréat, avec Scott A. Smolka (en), du prix Dijkstra, pour leur article commun : « CCS Expressions, Finite State Processes, and Three Problems of Equivalence ` », Inf. Comput., vol. 86, no 1, , p. 43-68.
Hommages
modifier- En 1996, l'Association for Computing Machinery crée un prix Paris-Kanellakis, qui est accordée chaque année pour honorer « des réalisations théoriques spécifiques qui ont eu un effet significatif et démontrable sur la pratique de l'informatique[6]. »
Bibliographie
modifier- Paris C. Kanellakis, The complexity of concurrency control for distributed databases (thèse Ph. D.), MIT, (lire en ligne)
- Paris C. Kanellakis et Alexander A. Shvartsman, Fault-Tolerant Parallel Computation, Kluwer Academic Publishers, (ISBN 978-0792399223)
Notices nécrologiques
modifier- « Paris C. Kanellakis, 1953-1995 », Conduit !, vol. 5, no 1, , p. 1–4 (lire en ligne)
- Serge Abiteboul, Gabriel M. Kuper, Harry G. Mairson, Alexander A. Shvartsman et Moshe Y. Vardi, « In Memoriam », ACM Computing Surveys, vol. 28, no 1, 1996a, p. 3–15 (DOI 10.1145/234313.234318, S2CID 13029473)
- Serge Abiteboul, Gabriel M. Kuper, Harry G. Mairson, Alexander A. Shvartsman et Moshe Y. Vardi, « IN MEMORIAM Paris C. Kanellakis », Journal of Algorithms, vol. 20, no 2, 1996b, p. 202–204 (DOI 10.1006/jagm.1996.0010)
- Eugene C. Freuder, « A constraints journal », Constraints, vol. 1, nos 1–2, 1996b, p. 5 (DOI 10.1007/BF00143876, S2CID 40057071)
- Richard Hull « In memoriam: Paris C. Kanellakis » () (DOI 10.1145/237661.242786)
—Proceedings of the fifteenth Symposium on Principles of Database Systems (PODS'96) - Pascal Van Hentenryck, « In Memoriam: Paris C. Kanellakis », The Journal of Logic Programming, vol. 27, no 1, , p. 1–3 (DOI 10.1016/S0743-1066(96)90094-1 )
- Moshe Y. Vardi, « In Memoriam: Paris C. Kanellakis (1953–1995) », Information and Computation, vol. 127, no 2, , p. 65 (DOI 10.1006/inco.1996.0051 )
- Peter Buneman et Stan Zdonik, « In Memory of Paris Kanellakis », Journal of Digital Libraries, vol. 1, no 1, (lire en ligne)
- Ronald Fagin, « Editor's forward », Journal of Computer and System Sciences, vol. 54, no 1, , p. 1 (DOI 10.1006/jcss.1997.1448 )
Notes et références
modifier- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Paris Kanellakis » (voir la liste des auteurs).
- cv.
- (en) « Paris Christos Kanellakis Kanellakis », sur le site du Mathematics Genealogy Project.
- Abiteboul et al. 1996a.
- Kanellakis et Shvartsman 1997.
- Kanellakis et Shvartsman 1997, p. xxix.
- « Paris Kanellakis Theory and Practice Award » [archive du ], ACM (consulté le )
- « Kanellakis Fellowships », Brown CS Dept (consulté le )
- « -President Gordon Gee visits the Kanellakises- », Conduit, vol. 8, no 2, , p. 22 (lire en ligne)
- « A Visit with General and Mrs. Kanellakis », Conduit, vol. 17, no 2, , p. 33 (lire en ligne)
Liens externes
modifier
- Ressources relatives à la recherche :