Aarti Gupta (computer scientist)

From Bharatpedia, an open encyclopedia


Aarti Gupta at FLoC 2006.

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[edit]

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[edit]

  • 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[edit]

  1. ↑ 1.0 1.1 1.2 "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. "F-Soft: Software Verification Platform". International Conference on Computer Aided Verification (CAV): 301-306.
  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.
Retrieved from "https://en.bharatpedia.org/w/index.php?title=Aarti_Gupta_(computer_scientist)&oldid=394683"