What is he best known for?
The fields of study he is best known for:
- Programming language
- Artificial intelligence
- Algorithm
Moshe Y. Vardi focuses on Theoretical computer science, Discrete mathematics, Model checking, Temporal logic and Linear temporal logic.
He studies Automaton, a branch of Theoretical computer science.
Moshe Y. Vardi has included themes like Datalog, Constraint satisfaction, Quantum finite automata and Combinatorics in his Discrete mathematics study.
His Model checking study integrates concerns from other disciplines, such as Formal verification and Counterexample.
He interconnects Tree automaton and Logical conjunction in the investigation of issues within Temporal logic.
Moshe Y. Vardi studied Linear temporal logic and Satisfiability that intersect with Reduction.
His most cited work include:
- Reasoning About Knowledge (3413 citations)
- An Automata-Theoretic Approach to Automatic Program Verification (1233 citations)
- The complexity of relational query languages (Extended Abstract) (1009 citations)
What are the main themes of his work throughout his whole career to date?
Moshe Y. Vardi spends much of his time researching Theoretical computer science, Discrete mathematics, Algorithm, Model checking and Automaton.
His study ties his expertise on Programming language together with the subject of Theoretical computer science.
His Discrete mathematics research is multidisciplinary, relying on both Bounded function and Combinatorics.
He is studying Time complexity, which is a component of Algorithm.
His Automaton research focuses on Büchi automaton in particular.
His studies examine the connections between Linear temporal logic and genetics, as well as such issues in Temporal logic, with regards to Computation.
He most often published in these fields:
- Theoretical computer science (33.88%)
- Discrete mathematics (16.88%)
- Algorithm (15.47%)
What were the highlights of his more recent work (between 2014-2021)?
- Theoretical computer science (33.88%)
- Algorithm (15.47%)
- Linear temporal logic (12.43%)
In recent papers he was focusing on the following fields of study:
Theoretical computer science, Algorithm, Linear temporal logic, Automaton and Satisfiability are his primary areas of study.
His research investigates the connection with Theoretical computer science and areas like Fragment which intersect with concerns in Reduction.
As part of the same scientific family, Moshe Y. Vardi usually focuses on Algorithm, concentrating on Hash function and intersecting with Polynomial.
Many of his studies on Linear temporal logic apply to Set as well.
Moshe Y. Vardi regularly ties together related areas like Formal verification in his Automaton studies.
His studies in Satisfiability integrate themes in fields like Construct, Transition system and Boolean satisfiability problem.
Between 2014 and 2021, his most popular works were:
- Algorithmic improvements in approximate counting for probabilistic inference: from linear to logarithmic SAT calls (61 citations)
- On Parallel Scalable Uniform SAT Witness Generation (51 citations)
- Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees (47 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Artificial intelligence
- Algorithm
Moshe Y. Vardi mainly investigates Theoretical computer science, Satisfiability, Algorithm, Internal medicine and Linear temporal logic.
His is doing research in True quantified Boolean formula and Model checking, both of which are found in Theoretical computer science.
The study incorporates disciplines such as Programming language, Construct, Bounded function and Boolean satisfiability problem in addition to Satisfiability.
His Algorithm research incorporates themes from Hash function and Model counting.
His Internal medicine research is multidisciplinary, incorporating elements of Diabetes mellitus, Endocrinology and Immunology.
His Linear temporal logic research integrates issues from Abstraction, Fragment, Automaton, Robotics and Mathematical optimization.
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.
