Aarti Gupta (computer scientist)
American computer scientist From Wikipedia, the free encyclopedia
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
Aarti Gupta received her undergraduate degree from IIT Delhi, 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
Wikiwand - on
Seamless Wikipedia browsing. On steroids.