Ashok K. Chandra

informaticien américain
Ashok K. Chandra

Naissance
Décès
Domaines InformatiqueChandra
Institutions IBM Research
Microsoft Research
Formation Université de Californie à Berkeley
Directeur de thèse Zohar Manna[1]
Renommé pour requêtes conjonctives, machine de Turing alternante

Ashok Kumar Chandra (né le en Inde, et mort le 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èreModifier

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.

RechercheModifier

Chandra est co-auteur de plusieurs articles fondamentaux en informatique théorique. Il a introduit notamment :

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].

DistinctionsModifier

  • 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érencesModifier

  1. a et b (en) « Ashok Kumar Chandra », sur le site du Mathematics Genealogy Project
  2. « Dr. Ashok Kumar Chandra Obituary » (consulté le )
  3. « Ashok K. Chandra profile at Microsoft » [archive du ] (consulté le )
  4. 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)
  5. 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)
  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,‎ , 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, no 2,‎ , 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,‎ , p. 94–99 (DOI 10.1145/800061.808737)
  9. « LICS – Archive » (version du 11 mars 2012 sur l'Internet Archive)
  10. « IEEE Fellows – C »
  11. « Golden Core - IEEE », sur IEEE

Liens externesModifier