Prof. Sanjit A. Seshia — Research Profile
University of California, Berkeley · Electrical Engineering and Computer Sciences
About
Prof. Sanjit A. Seshia at University of California, Berkeley Electrical Engineering and Computer Sciences lists Cyber-Physical Systems and Design Automation, Programming Systems, Artificial Intelligence, Security, Theory as their registered research area.
Research keywords
Recent papers
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Formal Methods in Verification
Clark Barrett 교수 연구실
Stanford University · Computer Science
Solving LIA⋆ Constraints Using Hilbert BasesNewOAPEN (The OAPEN Foundation) · Sep 1Francesco Borrelli 교수 연구실
University of California, Berkeley · Mechanical Engineering
An Adaptive-Sampling Control Framework for Constrained Linear Systems with Robust Safety GuaranteesNewPreprintarXiv (Cornell University) · Sep 19John Mitchell 교수 연구실
Stanford University · Computer Science
Tracking Borrows with Regular ExpressionsProceedings of the ACM on Programming Languages · Oct 1
Other labs in this department
- Aditi Krishnapriyan 교수 연구실
Artificial Intelligence, Scientific Computing
- Aditya Parameswaran 교수 연구실
Database Management Systems, Human-Computer Interaction, Artificial Intelligence
- Alexandre Bayen 교수 연구실
Control, Intelligent Systems, and Robotics, Artificial Intelligence
- Alex Dimakis 교수 연구실
Artificial Intelligence, Information, Data, Network and Communication Sciences
- Ali Niknejad 교수 연구실
Integrated Circuits, Physical Electronics, Signal Processing, Information, Data, Network and Communication Sciences
- Alvin Cheung 교수 연구실
Database Management Systems, Programming Systems