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.
