Ashok K. Chandra

Ashok K. Chandra

Biographie

Naissance	30 juillet 1948
Décès	15 novembre 2014 (à 66 ans) Californie
Formation	Université de Californie à Berkeley
Activités	Ingénieur en informatique, informaticien

Autres informations

A travaillé pour	IBM Microsoft
Membre de	Institute of Electrical and Electronics Engineers
Directeur de thèse	Zohar Manna
Distinction	Membre de l'IEEE

modifier - modifier le code - modifier Wikidata

Ashok Kumar Chandra (né le 30 juillet 1948 en Inde, et mort le 15 novembre 2014 en Californie^[2]) 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^[3].

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^[1]. 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

• Chandra est nommé Fellow de l'IEEE^[10] 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^[11].

Références

1. (en) « Ashok Kumar Chandra », sur le site du Mathematics Genealogy Project
2. « Dr. Ashok Kumar Chandra Obituary » (consulté le 29 mai 2015)
3. « Ashok K. Chandra profile at Microsoft » [archive du 2 novembre 2013] (consulté le 31 octobre 2013)
4. A. K. Chandra et L. J. Stockmeyer, « Alternation », FOCS '76: Proceedings of the 17th IEEE Symposium on Foundations of Computer Science, Houston, Texas,‎ 1976, p. 98–108 (DOI 10.1109/SFCS.1976.4)
5. Ashok K. Chandra, Dexter C. Kozen et Larry J. Stockmeyer, « Alternation », Journal of the ACM, vol. 28, n^o 1,‎ 1981, p. 114–133 (DOI 10.1145/322234.322243)
6. 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,‎ 1977, p. 77–90 (DOI 10.1145/800105.803397)
7. Ashok K. Chandra et David Harel, « Computable Queries for Relational Data Bases », Journal of Computer and System Sciences, vol. 21, n^o 2,‎ 1980, p. 156–178 (DOI 10.1016/0022-0000(80)90032-X)
8. 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,‎ 1983, p. 94–99 (DOI 10.1145/800061.808737)
9. « LICS – Archive » (version du 11 mars 2012 sur Internet Archive)
10. « IEEE Fellows – C »
11. « 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 :
  • Digital Bibliography & Library Project
  • Mathematics Genealogy Project
• Notices d'autorité :

  • VIAF
  • ISNI
  • IdRef
  • Pays-Bas