Aarti Gupta
Aarti Gupta at FLoC 2006
OccupationComputer scientist
Academic background
Education
Academic work
InstitutionsPrinceton University

Aarti Gupta is a computer scientist working in formal methods, Electronic Design Automation, and programming languages. Educated in India and the US, she is currently a professor in the Department of Computer Science at Princeton University.

Education and career

Aarti Gupta received her undergraduate degree from IIT Bombay, India and PhD in Computer Science from Carnegie Mellon University in 1994.[1] She later worked at NEC Laboratories America developing tools for verifying correctness of large-scale industrial codebases written in C and C++ code.[2] The efforts of she and her team won her the 2005 NEC Technology Commercialization Award.[1] She joined the Department of Computer Science at Princeton University as a full professor in 2015.[3] She has published extensively on subjects such as program synthesis, verification of concurrent programs, hardware, and verification of computer networks.

Service and awards

  • ACM Fellow, 2017:[4] "For contributions to system analysis and verification techniques and their transfer to industrial practice"
  • Member of the Steering Committee, Computer Aided Verification conference.[5]
  • Past member of Steering Committee, Formal Methods in Computer-Aided Design (FMCAD) Conference[6]
  • Member of editorial board, Formal Methods in System Design[7]
  • Member of editorial board, ACM Transactions on Design Automation of Electronic Systems[1]

References

  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". Computer Aided Verification. Lecture Notes in Computer Science. Vol. 3576. p. 301-306. doi:10.1007/11513988_31. ISBN 978-3-540-27231-1. {{cite book}}: |journal= ignored (help)
  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.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.