2016 - Fellow of the American Association for the Advancement of Science (AAAS)
2008 - IEEE Fellow For contributions to automata, logics, and verification techniques for real-time and hybrid systems
2007 - ACM Fellow For contributions to the specification and verification of reactive and hybrid systems.
1999 - Fellow of Alfred P. Sloan Foundation
The scientist’s investigation covers issues in Theoretical computer science, Model checking, Temporal logic, Algorithm and Programming language. His work carried out in the field of Theoretical computer science brings together such families of science as Finite-state machine and Asynchronous communication. His research in Model checking intersects with topics in Correctness, Recursion and Bounded function.
His work deals with themes such as Linear temporal logic, Real-time operating system and Mathematical logic, which intersect with Temporal logic. His work in Programming language addresses issues such as Hybrid system, which are connected to fields such as Modular design, Embedded system and Distributed computing. The Automaton study combines topics in areas such as Semantics and Reachability.
Rajeev Alur focuses on Theoretical computer science, Model checking, Programming language, Algorithm and Automaton. His study in Theoretical computer science is interdisciplinary in nature, drawing from both Finite-state machine and Set. Rajeev Alur usually deals with Model checking and limits it to topics linked to Nested word and Pushdown automaton.
In his research, Linear system and Distributed computing is intimately related to Hybrid system, which falls under the overarching field of Programming language. His Algorithm research includes themes of Bounded function, State space and Asynchronous communication. His Automaton research includes themes of Discrete mathematics and Decision problem.
His primary scientific interests are in Theoretical computer science, Set, Distributed computing, Implementation and Correctness. His study in the fields of Automaton and Model checking under the domain of Theoretical computer science overlaps with other disciplines such as Constraint. His work carried out in the field of Set brings together such families of science as Linear temporal logic, Data stream mining, Program synthesis and Finite set.
His Distributed computing research is multidisciplinary, incorporating perspectives in Robot, Control theory, Computer network and Bounded function. His Correctness research incorporates themes from Finite-state machine, Static analysis, Hybrid system and Software engineering. His Hybrid system research incorporates elements of Decidability and Reachability.
His primary areas of investigation include Theoretical computer science, Programming language, Program synthesis, Distributed computing and Set. Rajeev Alur performs integrative study on Theoretical computer science and Constraint. His research integrates issues of Time complexity, Regular language and Counterexample in his study of Programming language.
His Program synthesis study incorporates themes from Discrete mathematics, Divide and conquer algorithms, Transfer of learning, Machine learning and Domain-specific language. His Distributed computing research is multidisciplinary, relying on both Control theory and Computer network. His study in Algorithm is interdisciplinary in nature, drawing from both Data structure and Concatenation.
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.
A theory of timed automata
Rajeev Alur;David L. Dill.
Theoretical Computer Science (1994)
A Temporal Logic of Nested Calls and Returns
Rajeev Alur;Kousha Etessami;P. Madhusudan.
tools and algorithms for construction and analysis of systems (2004)
The algorithmic analysis of hybrid systems
Rajeev Alur;Costas Courcoubetis;Nicolas Halbwachs;Thomas A. Henzinger.
Theoretical Computer Science (1995)
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems
Rajeev Alur;Costas Courcoubetis;Thomas A. Henzinger;Pei-Hsin Ho.
Hybrid Systems (1993)
Alternating-time temporal logic
Rajeev Alur;Thomas A. Henzinger;Orna Kupferman.
Journal of the ACM (2002)
Automata for modeling real-time systems
Rajeev Alur;David L. Dill.
international colloquium on automata, languages and programming (1990)
Model-checking for real-time systems
R. Alur;C. Courcoubetis;D. Dill.
logic in computer science (1990)
Model-Checking in Dense Real-Time
R. Alur;C. Courcoubetis;D. Dill.
logic in computer science (1993)
Discrete abstractions of hybrid systems
R. Alur;T.A. Henzinger;G. Lafferriere;G.J. Pappas.
Proceedings of the IEEE (2000)
A really temporal logic
Rajeev Alur;Thomas A. Henzinger.
Journal of the ACM (1994)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
Institute of Science and Technology Austria
University of Illinois at Urbana-Champaign
University of Pennsylvania
Google (United States)
University of Pennsylvania
Columbia University
Bar-Ilan University
Google (United States)
Chinese University of Hong Kong, Shenzhen
TU Wien
Stanford University
University of Pau and the Adour Region
Texas A&M University
Nankai University
Friedrich Miescher Institute
Washington State University
Oxford Brookes University
Wayne State University
Spanish National Research Council
Commonwealth Scientific and Industrial Research Organisation
Case Western Reserve University
Martin Luther University Halle-Wittenberg
University of North Carolina at Chapel Hill
University of Freiburg
Duke University
University of Florida