Sotabase

Career

· Cadence Founders Chair Professor, UC Berkeley Department of Electrical Engineering and Computer Sciences2022–
· Associate Professor, UC Berkeley Department of Electrical Engineering and Computer Sciences2011–
· Assistant Professor, UC Berkeley Department of Electrical Engineering and Computer Sciences2005–
· Associate Professor, University of California, Berkeley2005–
· Cadence Founders Chair Professor, University of California, Berkeley2005–
· MS in Computer Science, Carnegie Mellon University2000–2000
· PhD in Computer Science, Carnegie Mellon University2000–2005
· B.Tech. in Computer Science and Engineering, Indian Institute of Technology, Bombay1998–1998

Publications (424)

Introduction to Embedded Systems - A Cyber-Physical Systems Approach
2013
1,228
cited
Formal Methods in Computer-Aided Design · 2013
871
cited
IEEE Symposium on Security and Privacy · 2005
809
cited
Handbook of Satisfiability · 2021
635
cited
2010 ACM/IEEE 32nd International Conference on Software Engineering · 2010
570
cited
533
cited
Neural Information Processing Systems · 2019
488
cited
Robotics: Science and Systems · 2017
435
cited
IEEE Transactions on Neural Networks and Learning Systems · 2020
316
cited
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2018
295
cited
International Conference on Hybrid Systems: Computation and Control · 2015
286
cited
IEEE Conference on Decision and Control · 2014
261
cited
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2013
237
cited
International Conference on Multimedia Retrieval · 2018
232
cited
Formal methods in system design · 2015
218
cited
International Conference on Computer Aided Verification · 2019
215
cited
Sotabase
Sanjit A. Seshia | Researcher Profile | Sotabase | Sotabase