Científico informático estadounidense
Aarti Gupta es una científica informática que trabaja en métodos formales , automatización del diseño electrónico y lenguajes de programación . Educada en la India y los EE. UU., actualmente es profesora en el Departamento de Ciencias de la Computación de la Universidad de Princeton .
Educación y carrera
Aarti Gupta recibió su licenciatura en el IIT Delhi , India y su doctorado en Ciencias de la Computación en la Universidad Carnegie Mellon en 1994. [1] Posteriormente trabajó en NEC Laboratories America desarrollando herramientas para verificar la corrección de bases de código industriales a gran escala escritas en código C y C++. [2] Los esfuerzos de ella y su equipo le valieron el Premio de Comercialización de Tecnología NEC 2005. [1] Se unió al Departamento de Ciencias de la Computación de la Universidad de Princeton como profesora titular en 2015. [3] Ha publicado extensamente sobre temas como síntesis de programas , verificación de programas concurrentes, hardware y verificación de redes informáticas.
Servicio y premios
- ACM Fellow, 2017: [4] "Por sus contribuciones al análisis de sistemas y técnicas de verificación y su transferencia a la práctica industrial"
- Miembro del Comité Directivo de la Conferencia de Verificación Asistida por Computadora . [5]
- Ex miembro del Comité Directivo de la Conferencia sobre Métodos Formales en Diseño Asistido por Computadora (FMCAD) [6]
- Miembro del consejo editorial, Métodos Formales en Diseño de Sistemas [7]
- Miembro del consejo editorial de ACM Transactions on Design Automation of Electronic Systems [1]
Referencias
- ^ abc "Aarti Gupta". Departamento de Ciencias de la Computación de la Universidad de Princeton . Universidad de Princeton . Consultado el 6 de julio de 2023 .
- ^ Ivancic, F.; Yang, Z.; Gupta, A.; Shlyakhter, I.; Ashar, P. (2005). "F-Soft: Plataforma de verificación de software". Verificación asistida por computadora . Apuntes de clase en informática. Vol. 3576. págs. 301–306. doi :10.1007/11513988_31. ISBN 978-3-540-27231-1.
- ^ "Aarti Gupta se incorpora al Departamento de Ciencias de la Computación procedente de NEC Labs". Departamento de Ciencias de la Computación de la Universidad de Princeton . Universidad de Princeton . Consultado el 6 de julio de 2023 .
- ^ "Página de premios Aarti Gupta". Association for Computing Machinery . Consultado el 5 de julio de 2023 .
- ^ "Verificación asistida por computadora - i-cav.org" . Consultado el 5 de julio de 2023 .
- ^ "Conferencia FMCAD" . Consultado el 5 de julio de 2023 .
- ^ "Consejo editorial". Métodos formales en el diseño de sistemas . SpringerLink . Consultado el 6 de julio de 2023 .
