Aarti Gupta (computer scientist)

Last updated
  1. 1 2 3 "Aarti Gupta". Computer Science Department at Princeton University. Princeton University. Retrieved 6 July 2023.
  2. ↑ Ivancic, F.; Yang, Z.; Gupta, A.; Shlyakhter, I.; Ashar, P. (2005). "F-Soft: Software Verification Platform". International Conference on Computer Aided Verification (CAV). Lecture Notes in Computer Science. Vol. 3576. pp. 301–306. doi:10.1007/11513988_31. ISBN   978-3-540-27231-1.
  3. ↑ "Aarti Gupta Joins Computer Science Department from NEC Labs". Princeton University Department of Computer Science. Princeton University. Retrieved 6 July 2023.
  4. ↑ "Aarti Gupta Awards Page". Association for Computing Machinery. Retrieved July 5, 2023.
  5. ↑ "Computer aided Verification - i-cav.org" . Retrieved July 5, 2023.
  6. ↑ "FMCAD Conference" . Retrieved July 5, 2023.
  7. ↑ "Editorial board". Formal Methods in System Design. SpringerLink. Retrieved 6 July 2023.
Aarti Gupta
FLoC2006- 25MC - 25 Years of Model Checking.jpg
Aarti Gupta at FLoC 2006
OccupationComputer scientist
Academic background
Education
Authority control databases: Academics OOjs UI icon edit-ltr-progressive.svg
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.