stringtranslate.com

Ashok K. Chandra

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

  1. ^ Ashok K. Chandra en el Proyecto de Genealogía Matemática
  2. ^ "Obituario del Dr. Ashok Kumar Chandra" . Consultado el 29 de mayo de 2015 .
  3. ^ "Perfil de Ashok K. Chandra en Microsoft". Archivado desde el original el 2 de noviembre de 2013. Consultado el 31 de octubre de 2013 .
  4. ^ 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.
  5. ^ Chandra, AK; Kozen, DC; Stockmeyer, LJ (1981). "Alternancia". Revista de la ACM . 28 (1): 114–133. doi : 10.1145/322234.322243 . S2CID  238863413.
  6. ^ 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.
  7. ^ 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 .
  8. ^ 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.
  9. ^ "LICS – Archivo". Archivado desde el original el 11 de marzo de 2012. Consultado el 31 de octubre de 2013 .
  10. ^ "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