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 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
Liens externes
Ashok K. Chandra sur DBLP
Catégorie:Étudiant de l'université Stanford Catégorie:Étudiant de l'université de Californie à Berkeley Catégorie:Personnalité de Microsoft Catégorie:Personnalité d'IBM Catégorie:Naissance en juillet 1948 Catégorie:Décès en novembre 2014 Catégorie:Décès à 66 ans