Ashok K. Chandra
Pour les articles homonymes, voir Chandra.
| Naissance | |
|---|---|
| Décès |
(à 66 ans) Californie |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse | |
| Distinction |
Ashok Kumar Chandra (né le en Inde, et mort le en Californie) 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.
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. 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),,
- le concept de requête conjonctive (en) en théorie des bases de données (avec Philip M. Merlin),
- la notion de requête calculable (avec David Harel),
- et la notion de complexité de la communication multipartie (avec Merrick L. Furst et Richard J. Lipton).
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.
Distinctions
- Chandra est nommé Fellow de l'IEEE en 1989, « For contributions to the a theory of computational complexity, theory of database queries, and VLSI testing »
- Golden Core Charter Award 1996 de l'IEEE.
Références
- ↑ « Dr. Ashok Kumar Chandra Obituary » (consulté le )
- ↑ « Ashok K. Chandra profile at Microsoft » [archive du ], sur research.microsoft.com via Internet Archive (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 sur archive.org)
- ↑ « 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 sur archive.org)
- Ashok K. Chandra sur DBLP
- Ressources relatives à la recherche :
