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.
Aarti Gupta | |
|---|---|
 Aarti Gupta at FLoC 2006 | |
| Occupation | Computer scientist |
| Academic background | |
| Education |
|
| Academic work | |
| Institutions | 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
- ^ a b c "Aarti Gupta". Computer Science Department at Princeton University. Princeton University. Retrieved 6 July 2023.
- ^ 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. pp. 301–306. doi:10.1007/11513988_31. ISBN 978-3-540-27231-1.
{{cite book}}:|journal=ignored (help) - ^ "Aarti Gupta Joins Computer Science Department from NEC Labs". Princeton University Department of Computer Science. Princeton University. Retrieved 6 July 2023.
- ^ "Aarti Gupta Awards Page". Association for Computing Machinery. Retrieved July 5, 2023.
- ^ "Computer aided Verification - i-cav.org". Retrieved July 5, 2023.
- ^ "FMCAD Conference". Retrieved July 5, 2023.
- ^ "Editorial board". Formal Methods in System Design. SpringerLink. Retrieved 6 July 2023.