Misplaced Pages

Ashok K. Chandra (30 July 1948 – 15 November 2014) was a computer scientist at Microsoft Research in Mountain View, California, United States, where he was a general manager at the Internet Services Research Center. Chandra received his PhD in Computer Science from Stanford University, an MS from University of California, Berkeley, and a BTech from IIT Kanpur. He was previously Director of Database and Distributed Systems at IBM Almaden Research Center.

Chandra co-authored several key papers in theoretical computer science. Among other contributions, he introduced alternating Turing machines in computational complexity (with Dexter Kozen and Larry Stockmeyer), conjunctive queries in databases (with Philip M. Merlin), computable queries (with David Harel), and multiparty communication complexity (with Merrick L. Furst and Richard J. Lipton).

He was a founder of the annual IEEE Symposium on Logic in Computer Science and served as conference chair of the first three conferences, in 1986–8. He was an IEEE Fellow.

References

1. Ashok K. Chandra at the Mathematics Genealogy Project
2. "Dr. Ashok Kumar Chandra Obituary". Retrieved 29 May 2015.
3. "Ashok K. Chandra profile at Microsoft". Archived from the original on November 2, 2013. Retrieved 31 October 2013.
4. Chandra, A. K.; Stockmeyer, L. J. (1976). Alternation. FOCS '76: Proceedings of the 17th IEEE Symposium on Foundations of Computer Science. Houston, Texas. pp. 98–108. doi:10.1109/SFCS.1976.4.
5. Chandra, A. K.; Kozen, D. C.; Stockmeyer, L. J. (1981). "Alternation". Journal of the ACM. 28 (1): 114–133. doi:10.1145/322234.322243. S2CID 238863413.
6. Chandra, Ashok K.; Merlin, Philip M. (1977). Optimal Implementation of Conjunctive Queries in Relational Data Bases. STOC '77: Proceedings of the ninth annual ACM symposium on Theory of computing. pp. 77–90. doi:10.1145/800105.803397.
7. Chandra, Ashok K.; Harel, David (1980). "Computable Queries for Relational Data Bases". Journal of Computer and System Sciences. 21 (2): 156–178. doi:10.1016/0022-0000(80)90032-X.
8. Chadra, Ashok K.; Furst, Merrick L.; Lipton, Richard J. (1983). Multi-party protocols. STOC '83: Proceedings of the fifteenth annual ACM symposium on Theory of computing. pp. 94–99. doi:10.1145/800061.808737.
9. "LICS – Archive". Archived from the original on March 11, 2012. Retrieved 31 October 2013.
10. "IEEE Fellows – C". Institute of Electrical and Electronics Engineers (IEEE). Archived from the original on November 2, 2013. Retrieved 31 October 2013.

External links

• "Ashok Chandra: Distinguished Scientist" (Press release). Microsoft. Archived from the original on February 5, 2011. Retrieved 5 April 2011.
• Ashok K. Chandra at DBLP Bibliography Server

v t e Microsoft Research (MSR)
Main projects	Languages, compilers Bartok Bosque Cω F* Lean P Project Verona Phoenix Polyphonic C# SecPAL Distributed–grid computing BitVault Confidential Consortium Framework DeepSpeed Orleans Internet, networking AjaxView Avalanche Conference XP Gazelle HoneyMonkey Penny Black Wallop WikiBhasha Other projects Automatic Graph Layout Cognitive Toolkit Digits Holoportation IllumiRoom Image Composite Editor Infer.NET LightGBM LiveStation MyLifeBits Neural Network Intelligence NodeXL OneFuzz PhotoDNA SEAL SLAM T2 Temporal Prover WorldWide Telescope Z3 Theorem Prover Operating systems Barrelfish HomeOS Midori Singularity Verve APIs Accelerator Dryad Joins mimalloc SXM Launched as products C# Comic Chat Detours F# Sideshow PixelSense (TouchLight) SenseCam ClearType Group Shot Allegiance TrueSkill Songsmith Xbox Kinect
MSR Labs applied research	Live Labs Current Pivot Seadragon Deep Zoom Discontinued Deepfish Listas Live Clipboard Photosynth Volta FUSE Labs Docs.com Kodu Other labs Academic Search adCenter Labs Office Labs
Category

• IIT Kanpur alumni
• Stanford University alumni
• University of California, Berkeley alumni
• Microsoft Research people
• Microsoft employees
• IBM employees
• Fellows of the IEEE
• 1948 births
• 2014 deaths