Ashok K. Chandra
Ashok K. Chandra | |
|---|---|
| Born | Template:Birth date |
| Died | November 15, 2014 (aged 66) |
| Occupation | Computer scientist |
| Known for | Contributions to theoretical computer science, including alternating Turing machines and conjunctive queries; founding chair of IEEE Symposium on Logic in Computer Science |
Ashok K. Chandra (30 July 1948 – 15 November 2014) was a prominent computer scientist who served as a general manager at Microsoft's Internet Services Research Center located in Mountain View, California. He obtained his doctorate in Computer Science from Stanford University, complemented by a Master of Science degree from the University of California, Berkeley, and a Bachelor of Technology from IIT Kanpur. Prior to his tenure at Microsoft, he held the position of Director for Database and Distributed Systems at IBM's Almaden Research Center.
Chandra made significant contributions to theoretical computer science through his co-authorship of seminal research papers. These works include the introduction of alternating Turing machines within computational complexity theory (collaborating with Dexter Kozen and Larry Stockmeyer), the concept of conjunctive queries in database systems (alongside Philip M. Merlin), explorations into computable queries (with David Harel), and studies on multiparty communication complexity (together with Merrick L. Furst and Richard J. Lipton).
He was the founding figure behind the annual IEEE Symposium on Logic in Computer Science and led the first three editions as chair from 1986 to 1988. His achievements were recognized with the distinction of IEEE Fellow.
External links
- Ashok Chandra: Distinguished Scientist at Microsoft (archived)
- DBLP bibliography for Ashok K. Chandra