What is he best known for?
The fields of study he is best known for:
- Programming language
- Algorithm
- Operating system
His primary areas of investigation include Formal specification, Automaton, Theoretical computer science, Algorithm and Programming language.
His Formal specification research incorporates elements of Computational complexity theory, Arbiter, Property and Rank.
The concepts of his Automaton study are interwoven with issues in Time complexity, Graphical user interface, Word, Mathematical optimization and Finite-state machine.
Roderick Bloem interconnects Scalability and Computer Aided Design in the investigation of issues within Theoretical computer science.
His Algorithm research integrates issues from Range, Software and Reference implementation.
His work in the fields of Programming language, such as Liveness, Implementation and Requirements analysis, intersects with other areas such as Successor cardinal.
His most cited work include:
- Synthesis of Reactive(1) designs (315 citations)
- Efficient Büchi Automata from LTL Formulae (277 citations)
- Program repair as a game (196 citations)
What are the main themes of his work throughout his whole career to date?
Programming language, Algorithm, Theoretical computer science, Model checking and Automaton are his primary areas of study.
The Debugging, Formal specification and Symbolic execution research he does as part of his general Programming language study is frequently linked to other disciplines of science, such as Hardware description language, therefore creating a link between diverse domains of science.
In his research on the topic of Algorithm, Deterministic automaton is strongly related with ω-automaton.
His Theoretical computer science study incorporates themes from Reactive system, Construct and Reduction.
His work in Reactive system addresses issues such as Temporal logic, which are connected to fields such as Reinforcement learning.
As a member of one scientific family, Roderick Bloem mostly works in the field of Model checking, focusing on Computation and, on occasion, State space.
He most often published in these fields:
- Programming language (20.54%)
- Algorithm (20.54%)
- Theoretical computer science (19.46%)
What were the highlights of his more recent work (between 2015-2021)?
- Temporal logic (10.81%)
- Reactive system (12.97%)
- Reactive synthesis (11.89%)
In recent papers he was focusing on the following fields of study:
His primary scientific interests are in Temporal logic, Reactive system, Reactive synthesis, Competition and Reinforcement learning.
The Temporal logic study combines topics in areas such as Automaton, Distributed computing and Arithmetic.
Roderick Bloem conducts interdisciplinary study in the fields of Automaton and Register through his research.
His Reactive system research is multidisciplinary, incorporating elements of Theoretical computer science, Binary decision diagram and Robustness.
His research in Theoretical computer science intersects with topics in MQTT, Reduction, Counterexample, Server and Implementation.
His research investigates the link between Liveness and topics such as Distributed algorithm that cross with problems in Formal specification.
Between 2015 and 2021, his most popular works were:
- Safe Reinforcement Learning via Shielding (146 citations)
- Handbook of Model Checking (103 citations)
- Model-Based Testing IoT Communication via Active Automata Learning (38 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Algorithm
- Operating system
The scientist’s investigation covers issues in Temporal logic, Reactive synthesis, Competition, Benchmark and Reactive system.
The study incorporates disciplines such as Queue, Automaton and Reinforcement learning in addition to Temporal logic.
His Reactive system research incorporates elements of Theoretical computer science and Distributed computing.
Roderick Bloem combines subjects such as Graph, Protocol and Server with his study of Theoretical computer science.
His Distributed computing research integrates issues from Formal methods, System model and Formal specification.
Roderick Bloem interconnects Model checking and Formal verification in the investigation of issues within Robot.
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.
