Ashok K. Chandra
Ashok Kumar Chandra (né le en Inde, et mort le en Californie[1]) est un informaticien qui a travaillé notamment chez Microsoft Research à Mountain View, en Californie, où il était directeur général du Internet Services Research Center[2].
| Naissance | |
|---|---|
| Décès | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse | |
| Distinction |
Carrière
Chandra obtient successivement un Bachelor in Technology de l'Institut indien de technologie de Kanpur, un Master of Science à l'Université de Californie à Berkeley et en 1973 un Ph. D. en informatique à l'Université Stanford sous la direction de Zohar Manna avec une thèse intitulée On the Properties and Applications of Program Schemas[3]. Avant de travailler pour Microsoft, Chandra est directeur de Database and Distributed Systems au IBM Almaden Research Center.
Recherche
Chandra est co-auteur de plusieurs articles fondamentaux en informatique théorique. Il a introduit notamment :
- le concept de machine de Turing alternante en théorie de la complexité (avec Dexter Kozen et Larry Stockmeyer)[4] - [5],
- le concept de requête conjonctive (en) en théorie des bases de données (avec Philip M. Merlin)[6],
- la notion de requĂŞte calculable (avec David Harel)[7],
- et la notion de complexité de la communication multipartie (avec Merrick L. Furst et Richard J. Lipton)[8].
Chandra est l'un des fondateurs de la conférence ACM-IEEE Symposium on Logic in Computer Science, et il a présidé cette conférence pendant ses trois premières années, en 1986–1988[9].
Distinctions
Références
- « Dr. Ashok Kumar Chandra Obituary » (consulté le )
- « Ashok K. Chandra profile at Microsoft » [archive du ] (consulté le )
- (en) « Ashok Kumar Chandra », sur le site du Mathematics Genealogy Project
- A. K. Chandra et L. J. Stockmeyer, « Alternation », FOCS '76: Proceedings of the 17th IEEE Symposium on Foundations of Computer Science, Houston, Texas,‎ , p. 98–108 (DOI 10.1109/SFCS.1976.4)
- Ashok K. Chandra, Dexter C. Kozen et Larry J. Stockmeyer, « Alternation », Journal of the ACM, vol. 28, no 1,‎ , p. 114–133 (DOI 10.1145/322234.322243)
- Ashok K. Chandra et Philip M. Merlin, « Optimal Implementation of Conjunctive Queries in Relational Data Bases », STOC '77: Proceedings of the ninth annual ACM symposium on Theory of computing,‎ , p. 77–90 (DOI 10.1145/800105.803397)
- Ashok K. Chandra et David Harel, « Computable Queries for Relational Data Bases », Journal of Computer and System Sciences, vol. 21, no 2,‎ , p. 156–178 (DOI 10.1016/0022-0000(80)90032-X)
- Ashok K. Chadra, Merrick L. Furst et Richard J. Lipton, « Multi-party protocols », STOC '83: Proceedings of the fifteenth annual ACM symposium on Theory of computing,‎ , p. 94–99 (DOI 10.1145/800061.808737)
- « LICS – Archive » (version du 11 mars 2012 sur Internet Archive)
- « IEEE Fellows – C »
- « Golden Core - IEEE », sur IEEE
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Ashok K. Chandra » (voir la liste des auteurs).
Liens externes
- « Ashok Chandra: Distinguished Scientist », Microsoft (version du 5 février 2011 sur Internet Archive)
- Ashok K. Chandra sur DBLP
- Ressources relatives Ă la recherche :