HansBurr9101 at 07:31, 11 July 2023

2023-07-11T07:31:49Z

New page

{{Short description|American computer scientist}}
[[File:FLoC2006-_25MC_-_25_Years_of_Model_Checking.jpg|thumb|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 ==
Aarti Gupta received her undergraduate degree from [[IIT Bombay]], India and PhD in Computer Science from [[Carnegie Mellon University]] in 1994.<ref name="princetonCS">{{cite web |title=Aarti Gupta |url=https://www.cs.princeton.edu/people/profile/aartig |website=Computer Science Department at Princeton University |publisher=Princeton University |access-date=6 July 2023}}</ref> She later worked at [[NEC Laboratories America]] developing tools for verifying correctness of large-scale industrial codebases written in C and C++ code.<ref name="fsoftCav05">{{cite journal |last1=Ivancic |first1=F. |last2=Yang |first2=Z. |last3=Gupta |first3=A. |last4=Shlyakhter |first4=I. |last5=Ashar |first5=P. |title=F-Soft: Software Verification Platform |journal=International Conference on Computer Aided Verification (CAV) |page=301-306 |url=https://link.springer.com/chapter/10.1007/11513988_31}}</ref> The efforts of she and her team won her the 2005 NEC Technology Commercialization Award.<ref name="princetonCS" /> She joined the Department of Computer Science at Princeton University as a full professor in 2015.<ref name="pudcsNews">{{cite web |title=Aarti Gupta Joins Computer Science Department from NEC Labs |url=https://www.cs.princeton.edu/news/article/aarti-gupta-joins-computer-science-department-nec-labs |website=Princeton University Department of Computer Science |publisher=Princeton University |access-date=6 July 2023}}</ref> She has published extensively on subjects such as [[program synthesis]], verification of concurrent programs, hardware, and verification of computer networks.

== Service and awards ==
* [[Association for Computing Machinery|ACM]] Fellow, 2017:<ref name="AartiGuptaACMFellow">{{cite web |title=Aarti Gupta Awards Page |url=https://awards.acm.org/award-recipients/gupta_3877826 |website=Association for Computing Machinery |access-date=July 5, 2023}}</ref> "For contributions to system analysis and verification techniques and their transfer to industrial practice"
* Member of the Steering Committee, [[Computer Aided Verification]] conference.<ref name="cavConference">{{cite web |url=http://www.i-cav.org |title=Computer aided Verification - i-cav.org |access-date=July 5, 2023}}</ref>
* Past member of Steering Committee, Formal Methods in Computer-Aided Design (FMCAD) Conference<ref name="fmcadConference">{{cite web |url=https://fmcad.org/ |title=FMCAD Conference |access-date=July 5, 2023}}</ref>
* Member of editorial board, Formal Methods in System Design<ref name="fmsd">{{cite web |title=Editorial board |url=https://www.springer.com/journal/10703/editors |website=Formal Methods in System Design |publisher=SpringerLink |access-date=6 July 2023}}</ref>
* Member of editorial board, ACM Transactions on Design Automation of Electronic Systems<ref name="princetonCS" />

== References ==
{{reflist}}
{{DEFAULTSORT:Gupta, Aarti}}
[[Category:Year of birth missing (living people)]]
[[Category:Living people]]
[[Category:Indian computer scientists]]
[[Category:Indian women computer scientists]]
[[Category:American computer scientists]]
[[Category:American women computer scientists]]
[[Category:IIT Bombay alumni]]
[[Category:Carnegie Mellon University alumni]]
[[Category:Princeton University faculty]]
[[Category:Fellows of the Association for Computing Machinery]]

Aarti Gupta computer scientist - Revision history

HansBurr9101 at 07:31, 11 July 2023