Aarti Gupta
Professor
Princeton University
United StatesResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
About
Professor Aarti Gupta is a faculty member at Princeton University in the United States. Her research interests include verification methods for system protocols, symbolic exploration of distributed systems, and optimization techniques. Recent articles authored by Professor Gupta focus on topics such as SoC protocol implementation verification and abstract interpretation of distributed network control planes.
Articles (5)
Year:
2023
Year:
2023
Year:
2023
Year:
2023
Year:
2020
Collaborators (2)
Sharad Malik
George Van Ness Lothrop Professor of Engineering
Princeton University
UNITED STATES
David Walker
Professor
Princeton University
UNITED STATES
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.