Aarti Gupta
Professor of Computer Science
Office:
220
Computer Science Building
Princeton,
NJ
08544
Phone: 609-258-8017
Interdisciplinary Research Area: Data Science
Research Area: Formal verification of systems, model checking, program analysis, and automatic decision procedures for logics. SAT/SMT solvers.
Areas of Impact
Data Science
Data science accelerates discovery across nearly all areas of science, engineering, and social science. Students and faculty in this area create new data-analysis techniques and harness advanced computing and storage systems to solve problems in biology, the environment, materials science, communications, security, transportation, and many other areas.
Primary affiliation
Computer Science
Princeton has been at the forefront of computing since Alan Turing, Alonzo Church, and John von Neumann were among its residents. The department, now in a period of major growth, has strong groups in artificial intelligence and machine learning, theory, programming languages, graphics and vision, systems and networking, computer architecture, computational biology and neuroscience, security, privacy, and information technology policy.
