H-Index & Metrics Best Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science D-index 56 Citations 13,392 230 World Ranking 1996 National Ranking 1092

Research.com Recognitions

Awards & Achievements

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 - Fellow of Alfred P. Sloan Foundation

2008 - Hellman Fellow

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Artificial intelligence
  • Operating system

His primary areas of investigation include Formal verification, Theoretical computer science, Programming language, Formal specification and Control theory. His research integrates issues of First-order logic, Set, Model checking, Reverse engineering and Netlist in his study of Formal verification. His study in Satisfiability modulo theories and Boolean satisfiability problem falls within the category of Theoretical computer science.

His research investigates the connection between Programming language and topics such as Counterexample that intersect with problems in Predicate abstraction, Logical programming, Key and True quantified Boolean formula. His Control theory study integrates concerns from other disciplines, such as Linear temporal logic and Automaton. His study explores the link between Correctness and topics such as Artificial intelligence that cross with problems in Formal methods and Human–computer interaction.

His most cited work include:

  • Semantics-aware malware detection (643 citations)
  • Introduction to Embedded Systems - A Cyber-Physical Systems Approach (623 citations)
  • Combinatorial sketching for finite programs (486 citations)

What are the main themes of his work throughout his whole career to date?

His primary scientific interests are in Theoretical computer science, Artificial intelligence, Programming language, Formal verification and Algorithm. His Theoretical computer science research includes elements of Set, Formal specification and Counterexample. The various areas that Sanjit A. Seshia examines in his Artificial intelligence study include Machine learning and Formal methods.

His Satisfiability modulo theories and Program synthesis investigations are all subjects of Programming language research. In his study, Boolean data type is strongly linked to Propositional calculus, which falls under the umbrella field of Boolean satisfiability problem. His work focuses on many connections between Robot and other disciplines, such as Software, that overlap with his field of interest in Distributed computing.

He most often published in these fields:

  • Theoretical computer science (26.41%)
  • Artificial intelligence (13.35%)
  • Programming language (11.57%)

What were the highlights of his more recent work (between 2019-2021)?

  • Theoretical computer science (26.41%)
  • Domain (3.26%)
  • Artificial intelligence (13.35%)

In recent papers he was focusing on the following fields of study:

Sanjit A. Seshia mainly investigates Theoretical computer science, Domain, Artificial intelligence, Artificial neural network and Range. His Theoretical computer science study combines topics from a wide range of disciplines, such as Homomorphic encryption, Graph, Cryptography, Heuristics and Entropy. His Domain research also works with subjects such as

  • Predicate, Code, Quantifier and Invariant most often made with reference to Loop invariant,
  • Data structure which is related to area like Expression, Class, State and Program synthesis.

His Artificial intelligence research is multidisciplinary, incorporating elements of Machine learning and Exponential function. His Component research is multidisciplinary, relying on both Control engineering and Counterexample. In his works, he undertakes multidisciplinary study on Programming language and Bounded function.

Between 2019 and 2021, his most popular works were:

  • A Review of Single-Source Deep Unsupervised Visual Domain Adaptation. (10 citations)
  • Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning (9 citations)
  • Enforcing Almost-Sure Reachability in POMDPs. (6 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Artificial intelligence
  • Operating system

His scientific interests lie mostly in Theoretical computer science, Markov decision process, Artificial intelligence, Mathematical optimization and Work. In his works, he conducts interdisciplinary research on Theoretical computer science and Focus. His Markov decision process research includes elements of Entropy, ENCODE, Exponential function, Binary decision diagram and Inference.

Sanjit A. Seshia combines subjects such as Time complexity, Machine learning and Domain adaptation with his study of Artificial intelligence. His Mathematical optimization research incorporates elements of Set, State and Reachability.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Introduction to Embedded Systems - A Cyber-Physical Systems Approach

Edward Ashford Lee;Sanjit Arunkumar Seshia.
(2013)

1183 Citations

Semantics-aware malware detection

M. Christodorescu;S. Jha;S.A. Seshia;D. Song.
ieee symposium on security and privacy (2005)

975 Citations

Combinatorial sketching for finite programs

Armando Solar-Lezama;Liviu Tancau;Rastislav Bodik;Sanjit Seshia.
architectural support for programming languages and operating systems (2006)

706 Citations

Syntax-guided synthesis

Rajeev Alur;Rastislav Bodik;Garvit Juniwal;Milo M. K. Martin.
formal methods in computer-aided design (2013)

528 Citations

Syntax-Guided Synthesis.

Rajeev Alur;Rastislav Bodík;Eric Dallal;Dana Fisman.
Dependable Software Systems Engineering (2015)

511 Citations

Oracle-guided component-based program synthesis

Susmit Jha;Sumit Gulwani;Sanjit A. Seshia;Ashish Tiwari.
international conference on software engineering (2010)

465 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.
computer aided verification (2002)

320 Citations

Planning for Autonomous Cars that Leverage Effects on Human Actions

Dorsa Sadigh;Shankar Sastry;Sanjit A. Seshia;Anca D. Dragan.
robotics science and systems (2016)

304 Citations

Syntax-guided synthesis

Rajeev Alur;Rastislav Bodik;Garvit Juniwal;Milo M. K. Martin.
Other univ. web domain (2013)

274 Citations

Model predictive control with signal temporal logic specifications

Vasumathi Raman;Alexandre Donze;Mehdi Maasoumy;Richard M. Murray.
conference on decision and control (2014)

236 Citations

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

Contact us

Best Scientists Citing Sanjit A. Seshia

Sumit Gulwani

Sumit Gulwani

Microsoft (United States)

Publications: 60

Daniel Kroening

Daniel Kroening

Amazon (United States)

Publications: 58

Calin Belta

Calin Belta

Boston University

Publications: 53

Armando Solar-Lezama

Armando Solar-Lezama

MIT

Publications: 42

Dimos V. Dimarogonas

Dimos V. Dimarogonas

Royal Institute of Technology

Publications: 41

Edward A. Lee

Edward A. Lee

University of California, Berkeley

Publications: 40

Rupak Majumdar

Rupak Majumdar

Max Planck Institute for Software Systems

Publications: 37

Anca D. Dragan

Anca D. Dragan

University of California, Berkeley

Publications: 36

Viktor Kuncak

Viktor Kuncak

École Polytechnique Fédérale de Lausanne

Publications: 35

Rishabh Singh

Rishabh Singh

Google (United States)

Publications: 35

George J. Pappas

George J. Pappas

University of Pennsylvania

Publications: 33

Rastislav Bodik

Rastislav Bodik

University of Washington

Publications: 32

Alberto Sangiovanni-Vincentelli

Alberto Sangiovanni-Vincentelli

University of California, Berkeley

Publications: 32

Ufuk Topcu

Ufuk Topcu

The University of Texas at Austin

Publications: 31

Aarti Gupta

Aarti Gupta

Princeton University

Publications: 31

Richard M. Murray

Richard M. Murray

California Institute of Technology

Publications: 29

Something went wrong. Please try again later.