Ashok K. Chandra (30 de julio de 1948 – 15 de noviembre de 2014) [2] fue un científico informático en Microsoft Research en Mountain View , California , Estados Unidos, donde fue gerente general en el Centro de Investigación de Servicios de Internet. [3] Chandra recibió su doctorado en Ciencias de la Computación de la Universidad de Stanford , una maestría de la Universidad de California, Berkeley y una licenciatura en tecnología del IIT Kanpur . Anteriormente fue Director de Base de Datos y Sistemas Distribuidos en IBM Almaden Research Center .
Chandra fue coautor de varios artículos clave en informática teórica. Entre otras contribuciones, introdujo las máquinas de Turing alternas en la complejidad computacional (con Dexter Kozen y Larry Stockmeyer ), [4] [5] las consultas conjuntivas en bases de datos (con Philip M. Merlin), [6] las consultas computables (con David Harel ), [7] y la complejidad de la comunicación entre múltiples partes (con Merrick L. Furst y Richard J. Lipton ). [8]
Fue uno de los fundadores del Simposio anual IEEE sobre lógica en ciencias de la computación y se desempeñó como presidente de la conferencia de las primeras tres conferencias, en 1986-8. [9]
Fue miembro del IEEE . [10]
Referencias
- ^ Ashok K. Chandra en el Proyecto de Genealogía Matemática
- ^ "Obituario del Dr. Ashok Kumar Chandra" . Consultado el 29 de mayo de 2015 .
- ^ "Perfil de Ashok K. Chandra en Microsoft". Archivado desde el original el 2 de noviembre de 2013. Consultado el 31 de octubre de 2013 .
- ^ Chandra, AK; Stockmeyer, LJ (1976). Alternancia . FOCS '76: Actas del 17.º Simposio IEEE sobre Fundamentos de la Ciencia de la Computación. Houston, Texas. págs. 98-108. doi :10.1109/SFCS.1976.4.
- ^ Chandra, Alaska; Kozen, CC; Stockmeyer, LJ (1981). "Alternancia". Revista de la ACM . 28 (1): 114-133. doi : 10.1145/322234.322243 . S2CID 238863413.
- ^ Chandra, Ashok K.; Merlin, Philip M. (1977). Implementación óptima de consultas conjuntivas en bases de datos relacionales . STOC '77: Actas del noveno simposio anual de la ACM sobre teoría de la computación. págs. 77–90. doi :10.1145/800105.803397.
- ^ Chandra, Ashok K.; Harel, David (1980). "Consultas computables para bases de datos relacionales". Revista de Ciencias de la Computación y de Sistemas . 21 (2): 156–178. doi : 10.1016/0022-0000(80)90032-X .
- ^ Chadra, Ashok K.; Furst, Merrick L.; Lipton, Richard J. (1983). Protocolos multipartidarios . STOC '83: Actas del decimoquinto simposio anual de la ACM sobre teoría de la computación. págs. 94–99. doi :10.1145/800061.808737.
- ^ "LICS – Archivo". Archivado desde el original el 11 de marzo de 2012. Consultado el 31 de octubre de 2013 .
- ^ "IEEE Fellows – C". Instituto de Ingenieros Eléctricos y Electrónicos (IEEE) . Archivado desde el original el 2 de noviembre de 2013. Consultado el 31 de octubre de 2013 .
Enlaces externos
- "Ashok Chandra: Científico distinguido" (Nota de prensa). Microsoft. Archivado desde el original el 5 de febrero de 2011. Consultado el 5 de abril de 2011 .
- Ashok K. Chandra en el servidor de bibliografía de DBLP