2026 Sanjit A. Seshia: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	70	1862	1802	950	913	361	21212

Research.com Recognitions

2020 - ACM Fellow For contributions to formal verification, inductive synthesis, and cyber-physical systems
2018 - IEEE Fellow For contributions to formal methods for inductive synthesis and algorithmic verification
2008 - Hellman Fellow
2008 - Fellow of Alfred P. Sloan Foundation

Overview

Sanjit A. Seshia is affiliated with the University of California, Berkeley in the United States. Their research primarily spans the field of Computer Science with a focus on several subfields including Artificial Intelligence, Computational Theory and Mathematics, Software, Computer Networks and Communications, and Hardware and Architecture.

The scientist's main topics of work include:

Formal Methods in Verification
Software Testing and Debugging Techniques
Machine Learning and Algorithms
Software Reliability and Analysis Research
Software Engineering Research
Model-Driven Software Engineering Techniques
Simulation Techniques and Applications

Seshia has been frequently published in several venues, with significant contributions to:

arXiv (Cornell University)
Lecture Notes in Computer Science
Proceedings of the AAAI Conference on Artificial Intelligence
Formal Methods in System Design
Communications of the ACM

Notable recent publications by Sanjit A. Seshia include:

"Toward verified artificial intelligence," 2022, Communications of the ACM
"Semantic Adversarial Deep Learning," 2020, IEEE Design and Test

Other papers where Seshia's work is related or co-authored include:

"A Review of Single-Source Deep Unsupervised Visual Domain Adaptation," 2020, IEEE Transactions on Neural Networks and Learning Systems
"Scenic: a language for scenario specification and data generation," 2022, Machine Learning
"A Review of Single-Source Deep Unsupervised Visual Domain Adaptation," 2020, arXiv (Cornell University)

The scientist has collaborated extensively with several co-authors, including:

Alberto Sangiovanni-Vincentelli
Daniel J. Fremont
Hazem Torfah
Elizabeth Polgreen
Sebastian Junges

Seshia has received several awards recognizing their work, including:

ACM Fellow in 2020, for contributions to formal verification, inductive synthesis, and cyber-physical systems
IEEE Fellow in 2018, for contributions to formal methods for inductive synthesis and algorithmic verification
Hellman Fellow in 2008
Fellow of Alfred P. Sloan Foundation in 2008

Best Publications

Introduction to Embedded Systems - A Cyber-Physical Systems Approach

Edward Ashford Lee;Sanjit Arunkumar Seshia

1738
Citations
Semantics-aware malware detection

M. Christodorescu;S. Jha;S.A. Seshia;D. Song

1128
Citations
Combinatorial sketching for finite programs

Armando Solar-Lezama;Liviu Tancau;Rastislav Bodik;Sanjit Seshia

867
Citations
Syntax-guided synthesis

Rajeev Alur;Rastislav Bodik;Garvit Juniwal;Milo M. K. Martin

856
Citations
Syntax-Guided Synthesis.

Rajeev Alur;Rastislav Bodík;Eric Dallal;Dana Fisman

668
Citations
Oracle-guided component-based program synthesis

Susmit Jha;Sumit Gulwani;Sanjit A. Seshia;Ashish Tiwari

600
Citations
Planning for Autonomous Cars that Leverage Effects on Human Actions

Dorsa Sadigh;Shankar Sastry;Sanjit A. Seshia;Anca D. Dragan

522
Citations
Model predictive control with signal temporal logic specifications

Vasumathi Raman;Alexandre Donze;Mehdi Maasoumy;Richard M. Murray

458
Citations
Scenic: a language for scenario specification and scene generation

Daniel J. Fremont;Tommaso Dreossi;Shromona Ghosh;Xiangyu Yue

379
Citations
Mining Requirements From Closed-Loop Control Models

Xiaoqing Jin;Alexandre Donze;Jyotirmoy V. Deshmukh;Sanjit A. Seshia

377
Citations
Modeling and verifying systems using a logic of Counter arithmetic with Lambda Expressions and Uninterpreted Functions

Randal E. Bryant;Shuvendu K. Lahiri;Sanjit A. Seshia

335
Citations
A Review of Single-Source Deep Unsupervised Visual Domain Adaptation.

Sicheng Zhao;Xiangyu Yue;Shanghang Zhang;Bo Li

327
Citations
Reactive synthesis from signal temporal logic specifications

Vasumathi Raman;Alexandre Donzé;Dorsa Sadigh;Richard M. Murray

319
Citations
Syntax-guided synthesis

Rajeev Alur;Rastislav Bodik;Garvit Juniwal;Milo M. K. Martin

308
Citations
Active preference-based learning of reward functions

Dorsa Sadigh;Anca D. Dragan;Shankar Sastry;Sanjit A. Seshia

303
Citations
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach

Yasser Shoukry;Pierluigi Nuzzo;Alberto Puggelli;Alberto L. Sangiovanni-Vincentelli

299
Citations
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components.

Tommaso Dreossi;Alexandre Donzé;Sanjit A. Seshia

245
Citations
A LiDAR Point Cloud Generator: from a Virtual World to Autonomous Driving

Xiangyu Yue;Bichen Wu;Sanjit A. Seshia;Kurt Keutzer

235
Citations
Distributed Real-Time Software for Cyber–Physical Systems

J. C. Eidson;E. A. Lee;S. Matic;S. A. Seshia

219
Citations
Robust Online Monitoring of Signal Temporal Logic

Jyotirmoy V. Deshmukh;Alexandre Donzé;Shromona Ghosh;Xiaoqing Jin

217
Citations
Information gathering actions over human internal state

Dorsa Sadigh;S. Shankar Sastry;Sanjit A. Seshia;Anca Dragan

210
Citations
Towards Verified Artificial Intelligence

Sanjit A. Seshia;Dorsa Sadigh

148
Citations

Frequent Co-Authors

Alberto Sangiovanni-Vincentelli University of California, Berkeley

Randal E. Bryant Carnegie Mellon University

Dorsa Sadigh Stanford University

Edward A. Lee University of California, Berkeley

Paulo Tabuada University of California, Los Angeles

Shankar Sastry University of California, Berkeley

Ashish Tiwari Microsoft (United States)

Somesh Jha University of Wisconsin–Madison

Murat Arcak University of California, Berkeley

George J. Pappas University of Pennsylvania

External Links

Personal website of Sanjit A. Seshia Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring Computer Science opens doors to numerous academic and professional routes. Choosing complementary majors can further improve your job prospects. Some of the most useful degrees to pair with or pursue after Computer Science include Data Science, Engineering, and Information Technology.

If you wish to advance your education quickly, consider one of the easy masters degrees in related fields such as Information Systems or Cybersecurity. These programs often offer greater flexibility, allowing busy professionals to upskill efficiently.

For those targeting academia or high-level research, pursuing a doctorate can be affordable and convenient. Look for cheap online phd programs in Computer Science or Education Technology to maximize your return on investment.

Interested in a leadership role in education and technology? Fast-track options like the shortest online edd programs allow you to earn an advanced degree without a lengthy time commitment.