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 director general del 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 un BTech de IIT Kanpur . Anteriormente fue Director de Bases de Datos y Sistemas Distribuidos en IBM Almaden Research Center .
Ashok K. Chandra | |
---|---|
Nació | 30 de julio de 1948 |
Fallecido | 15 de noviembre de 2014 | (66 años)
alma mater | Berkeley |
Conocido por | consultas conjuntivas , máquinas de Turing alternas |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Investigación de IBM Investigación de Microsoft |
Asesor de doctorado | Zohar Manna [1] |
Chandra fue coautor de varios artículos clave en informática teórica. Entre otras contribuciones, introdujo máquinas de Turing alternas en complejidad computacional (con Dexter Kozen y Larry Stockmeyer ), [4] [5] consultas conjuntivas en bases de datos (con Philip M. Merlin), [6] consultas computables (con David Harel ), [7] y complejidad de la comunicación multipartita (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 fue presidente de las tres primeras conferencias, en 1986–8. [9] Fue miembro del IEEE . [10]
Referencias
- ^ Ashok K. Chandra en el Proyecto de genealogía de matemáticas
- ^ "Obituario del Dr. Ashok Kumar Chandra" . Consultado el 29 de mayo de 2015 . CS1 maint: parámetro desalentado ( enlace )
- ^ "Perfil de Ashok K. Chandra en Microsoft" . Archivado desde el original el 2 de noviembre de 2013 . Consultado el 31 de octubre de 2013 . CS1 maint: parámetro desalentado ( enlace )
- ^ Chandra, AK; Stockmeyer, LJ (1976). Alternancia . FOCS '76: Actas del 17º Simposio del IEEE sobre fundamentos de la informática. Houston, Texas. págs. 98-108. doi : 10.1109 / SFCS.1976.4 .
- ^ Chandra, AK; Kozen, DC; Stockmeyer, LJ (1981). "Alternancia". Revista de la ACM . 28 (1): 114-133. doi : 10.1145 / 322234.322243 .
- ^ Chandra, Ashok K .; Merlín, Philip M. (1977). Implementación óptima de consultas conjuntivas en bases de datos relacionales . STOC '77: Actas del noveno simposio anual 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 Sistemas . 21 (2): 156-178. doi : 10.1016 / 0022-0000 (80) 90032-X .
- ^ Chadra, Ashok K .; Furst, Merrick L .; Lipton, Richard J. (1983). Protocolos multipartitos . STOC '83: Actas del decimoquinto simposio anual 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 . CS1 maint: parámetro desalentado ( enlace )
- ^ "Becarios IEEE - C" . Archivado desde el original el 2 de noviembre de 2013 . Consultado el 31 de octubre de 2013 . CS1 maint: parámetro desalentado ( enlace )
enlaces externos
- "Ashok Chandra: científico distinguido" (Comunicado de prensa). Microsoft. Archivado desde el original el 5 de febrero de 2011 . Consultado el 5 de abril de 2011 . CS1 maint: parámetro desalentado ( enlace )
- Ashok K. Chandra en el servidor de bibliografía DBLP