Sanjit A. Seshia 교수 연구 프로필
캘리포니아 대학교 버클리 · 전기컴퓨터공학부
소개
캘리포니아 대학교 버클리 전기컴퓨터공학부 소속 Sanjit A. Seshia 교수의 등록된 연구 분야는 Cyber-Physical Systems and Design Automation, Programming Systems, Artificial Intelligence, Security, Theory입니다.
연구 키워드
최근 논문
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Formal Methods in Verification
Clark Barrett 교수 연구실
스탠퍼드 대학교 · 컴퓨터과학과
Solving LIA⋆ Constraints Using Hilbert Bases새 논문OAPEN (The OAPEN Foundation) · 9월 1일Francesco Borrelli 교수 연구실
캘리포니아 대학교 버클리 · 기계공학과
An Adaptive-Sampling Control Framework for Constrained Linear Systems with Robust Safety Guarantees새 논문프리프린트arXiv (Cornell University) · 9월 19일John Mitchell 교수 연구실
스탠퍼드 대학교 · 컴퓨터과학과
Tracking Borrows with Regular ExpressionsProceedings of the ACM on Programming Languages · 10월 1일
같은 학과의 다른 연구실
- 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