CS - Key Persons
Job Titles:
- Computer Science Department As a Full Professor
- Professor
Aarti Gupta joined the Computer Science Department as a full professor in 2015. Before joining the department, she worked at NEC Labs America where she led a team in investigating new techniques for formal verification of software and hardware systems, contributing both to their foundations and to successful industrial deployment. The impact of this work was recognized through NEC Technology Commercialization Awards that she received in 2005, 2006 and 2012. Professor Gupta received her Ph.D. in computer science from Carnegie Mellon University in 1994 after earning a master's degree in computer engineering from Rensselaer Polytechnic Institute and a bachelor's in electrical engineering from the Indian Institute of Technology in New Delhi. She has served as an Associate Editor for Formal Methods in System Design (since 2005) and for the ACM Transactions on Design Automation of Electronic Systems (2008-2012). She has served as program chair and on the steering committees of the International Conference on Computer Aided Verification (CAV) and the International Conference on Formal Methods in Computer Aided Design (FMCAD).
Job Titles:
- Member of the Interdepartmental Committee
Job Titles:
- Member of the Interdepartmental Committee
- Operations Research
Degree: PhD, 2015 , Thesis: Efficient interfaces for accurate annotation of 3D point clouds
Job Titles:
- Adviser: Martonosi, Margaret
Job Titles:
- Assistant Professor
- Assistant Professor in the Computer Science Department
Amit Levy is an Assistant Professor in the Computer Science Department. He received his BSc in computer science and economics from the University of Washington in 2009, and his Ph.D. in computer science from Stanford University in 2018.
Job Titles:
- Adviser
- Professor Emeritus
Job Titles:
- Assistant Professor
- Adviser
Job Titles:
- Massachusetts Institute of Technology, 2016 / Homepage / Department of Mechanical and Aerospace Engineering / D202 - B Engineering Quadrangle
Degree: PhD, 2005 , Thesis: A logic-programming approach to network security analysis (thesis)
Job Titles:
- Other - Summer Research Assistant
Job Titles:
- Lecturer With Rank of Professor
Job Titles:
- Undergraduate Program Manager
Job Titles:
- Assistant Director of Diversity, Equity and Inclusion
Job Titles:
- Computer Science, Department Chair
- Professor
- Professor of Computer Science
Job Titles:
- Professor, Director of Undergraduate Studies
Job Titles:
- Professor, Director of Graduate Studies - Admissions
Job Titles:
- Manager, Admin & Operations
- Manager, Administration and Operations
Job Titles:
- Administrative Coordinator
Job Titles:
- Adviser: Schapire, Robert
Job Titles:
- Professor of Information Technology, Consciousness and Culture
Job Titles:
- Member of the Interdepartmental Committee
Job Titles:
- Adviser: Steiglitz, Kenneth
Job Titles:
- Distinguished University Professor
Job Titles:
- Adviser
- Professor of Computer Science, Technology, and Societal Change
Job Titles:
- Adviser: Chetty, Marshini
Job Titles:
- Member of the Interdepartmental Committee
- Psychology
Job Titles:
- Engineering Communication Specialist
Degree: PhD, 2016 , Thesis: On edge colouring, fractionally colouring and partitioning graphs
Job Titles:
- Member of the Interdepartmental Committee
- Program Director
- Director of PAC, Computer Science
Job Titles:
- Course & Program Administrator
Job Titles:
- Director of Graduate Studies
- Professor
Job Titles:
- Undergraduate Administrator
Job Titles:
- Adviser: Rusinkiewicz, Szymon
Job Titles:
- Adviser: Rusinkiewicz, Szymon
Job Titles:
- Member of the Interdepartmental Committee
"Iterative Abstraction using SAT-based BMC with Proof Analysis." A. Gupta, M. K. Ganai, Z. Yang, and P. Ashar. In Proceedings of the ACM/IEEE International Conference on Computer-Aided Design (ICCAD), November 2003.
Job Titles:
- Adviser: Steiglitz, Kenneth
Job Titles:
- Admin
- Finance
- Manager
- Senior Manager, Finance and Administration
Job Titles:
- Independent Work Administrator
Job Titles:
- Academic Support & Robotics Certificate Admin / Profile
Job Titles:
- Wang Family Professor in Computer Science
Job Titles:
- Member of the Interdepartmental Committee
- Adviser
- Professor
Degree: PhD, 2016 , Thesis: Targeted analyses of very large genome-wide data collections
Degree: MSE, 2018 , Thesis: Implementing a high-performance key-value store using a trie of B+-Trees with cursors
Job Titles:
- Adviser: Martonosi, Margaret
Job Titles:
- Emeritus
- Professor
- University Lecturer
Job Titles:
- Department of Electrical and Computer Engineering
Job Titles:
- Adviser
- Professor Emeritus
Job Titles:
- Emeritus
- Computer Science and Public Affairs
- Professor of Computer Science, Director of Graduate Studies
Job Titles:
- Professor, Associate Chair
Job Titles:
- Adviser: Steiglitz, Kenneth
Job Titles:
- Evnin Professor in Neuroscience, Professor of Computer Science and Princeton Neurosciences Institute
Job Titles:
- Adviser: Rusinkiewicz, Szymon
Job Titles:
- Member of the Interdepartmental Committee
Degree: PhD, 2014 , Thesis: Classifications of protein roles in the functional organization of the cell
Job Titles:
- Adviser: Rusinkiewicz, Szymon
Job Titles:
- Course & Program Administrator
Job Titles:
- Adviser: Martonosi, Margaret
Degree: PhD, 2015 , Thesis: New methods for the computational fabrication of appearance
Degree: MSE, 2013 , Thesis: Real time three dimensional motion sensing on smartphones
Job Titles:
- Professor in Computer Science, Director of Undergraduate Studies
- Professor in Computer Science, Emeritus
Job Titles:
- Visiting Associate Professor for Distinguished Teaching
Job Titles:
- Associate
- Chairman
- Adviser
Job Titles:
- Adviser: Rusinkiewicz, Szymon
Job Titles:
- Adviser: Martonosi, Margaret
Job Titles:
- Adviser: Rusinkiewicz, Szymon