Skip to main content

Princeton University

School of Engineering and Applied Science

Site Navigation

  • Engage
    • Overview Your first points of contact with Princeton Engineering
    • Leadership and Staff Meet our administrative team
    • Prospective Students Why become a Princeton Engineer
    • Corporate Partners Research partnerships, licensing, and recruiting
    • Entrepreneurs Helping students turn inspiration into action
    • Alumni Stay connected to Princeton Engineering
    • Visitors Directions, and tour information
  • Diversity and Inclusion
  • Undergraduate
    • Overview Rigorous foundation, hands-on experience, liberal arts context
    • Admission and Tours Sign up for a tour
    • Academics Six departments offer BSE degrees; one also offers A.B
    • Advising We are here to help
    • Careers What do engineering students go on to do
    • Student Organizations Sixteen groups create community around special interests
    • Social Life Life outside the EQuad is key to your growth
  • Graduate
    • Overview Learn to push the boundaries of your field and lead projects
    • Academic Pathways Meet faculty and grad students, learn about applying
    • Degrees and Research Doctoral programs in six departments cover 40 specialties
    • Princeton Engineers Profiles of current graduate students
    • Funding Every Ph.D. student receives full funding
    • Student Organizations Several groups cater specifically to engineering grad students
    • Social Life An array of opportunities, plus proximity to NYC, Philly
    • Careers Many paths beyond grad school
    • FAQ Your questions answered
    • Resources for Current Students Programs to support your academic goals
  • Departments and Centers
    • Chemical and Biological Engineering Advancing human health, energy, materials science, and industrial processes
    • Civil and Environmental Engineering Fundamental insights into the built and natural environments, and interactions between the two
    • Computer Science Leading the field through foundational theory, applications, and societal impact
    • Electrical and Computer Engineering Improving human health, energy systems, computing and communications, and security
    • Mechanical and Aerospace Engineering Solving problems in energy, combustion, fluids, lasers, materials science, robotics and control systems, and nuclear security
    • Operations Research and Financial Engineering Developing mathematical and computational tools for making decisions under uncertainty
    • Andlinger Center for Energy and the Environment Decarbonizing the world while increasing energy access worldwide
    • Center for Information Technology Policy Promoting informed discussion of digital technologies and their role in society
    • Keller Center for Innovation in Engineering Education Enabling students across Princeton to realize their aspirations for addressing societal problems
    • Princeton Institute for the Science and Technology of Materials Multidisciplinary research driving advances in materials science and photonics
  • Research
    • Bioengineering and Health Understanding and solving problems in living systems
    • Cities and Future Metropolis Making metropolitan areas healthy, sustainable, and resilient
    • Data Science Spanning engineering, science, math and social sciences
    • Energy and Environment Design and analysis to protect digital tools and infrastructure
    • Materials Science and Engineering Engaging in broader implications of technology
    • Robotics and Cyberphysical Systems Advancing innovative, safe, and ethical use of robotic systems
  • More
    • Resources Tools and policies for faculty and staff
    • Policies and Procedures
    • Safety
    • Funding Opportunities & Awards
    • Faculty Directory Browse and filter our faculty list
    • Jobs See open faculty positions across engineering and applied science
    • Contact A dean’s welcome and key points of contact
    • Visit Directions and a map
    • Events Upcoming events across the school
    • News Archive A filterable listing of news and features
    • Podcast Cookies: Tech Privacy and Security
    • EQuad Magazine Our semiannual news magazine
    • Media Inquiries Information for journalists

Aarti Gupta

Professor of Computer Science

Website: https://www.cs.princeton.edu/people/profile/aartig

Email: aartig@princeton.edu

Office: Computer Science Building, Room 220

Phone: 609-258-8017

Research interests: Formal verification of systems, model checking, program analysis, and automatic decision procedures for logics. SAT/SMT solvers.

Aarti Gupta

Related News

View all news

  • Photo of computer chips

    Engineering faculty funded to develop next generation computer chips

  • Aarti Gupta

    Gupta named ACM Fellow for outstanding accomplishments in computing

  • Old black and white postcard being held in a hand

    Engineering projects in art, security, energy selected for innovation fund

Research Areas

  • Prismatic red shape forming a triangle.

    Data Science

Related Department

  • Computer Science

    Computer Science

LinkedIn

Facebook

Twitter

Instagram

Princeton University School of Engineering and Applied Science

Accessibility

School of Engineering and Applied Science
Princeton, New Jersey 08544

© 2021 The Trustees of Princeton University
Princeton, New Jersey 08544 USA