World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
99
Citations
59297
World Ranking
382
National Ranking
210

Research.com Recognitions

  • 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

Overview

Rajeev Alur is affiliated with the University of Pennsylvania in the United States. Their research primarily focuses on the field of Computer Science, with extensive work in several specialized subfields including Artificial Intelligence, Computer Networks and Communications, Computational Theory and Mathematics, Software, and Information Systems.

Their publications cover a broad range of topics, particularly emphasizing Formal Methods in Verification, Adversarial Robustness in Machine Learning, Software Testing and Debugging Techniques, Reinforcement Learning in Robotics, Software System Performance and Reliability, Software Engineering Research, and Software Reliability and Analysis Research.

Frequent coauthors collaborating with Rajeev Alur include:

  • Kishor Jothimurugan
  • Osbert Bastani
  • Mayur Naik
  • Suguman Bansal
  • Κωνσταντίνος Καλλάς

Most of Rajeev Alur's work has been published in the following venues:

  • arXiv (Cornell University)
  • Proceedings of the ACM on Programming Languages
  • ACM Transactions on Embedded Computing Systems
  • Formal Methods in System Design
  • Artifact Digital Object Group

Recent selected papers authored or co-authored by Rajeev Alur include:

  • "Verifying the Safety of Autonomous Systems with Neural Network Controllers," 2020, ACM Transactions on Embedded Computing Systems
  • "Compositional Learning and Verification of Neural Network Controllers," 2021, ACM Transactions on Embedded Computing Systems
  • "A Composable Specification Language for Reinforcement Learning Tasks," 2020, arXiv (Cornell University)
  • "DiffStream: differential output testing for stream processing programs," 2020, Proceedings of the ACM on Programming Languages
  • "Executing Microservice Applications on Serverless, Correctly," 2023, Proceedings of the ACM on Programming Languages

Rajeev Alur has been recognized with several awards, including:

  • Fellow of the American Association for the Advancement of Science (AAAS), 2016
  • IEEE Fellow, 2008, for contributions to automata, logics, and verification techniques for real-time and hybrid systems
  • ACM Fellow, 2007, for contributions to the specification and verification of reactive and hybrid systems
  • Fellow of Alfred P. Sloan Foundation, 1999

Best Publications

  • A theory of timed automata

    Rajeev Alur;David L. Dill

  • A Temporal Logic of Nested Calls and Returns

    Rajeev Alur;Kousha Etessami;P. Madhusudan

  • The algorithmic analysis of hybrid systems

    Rajeev Alur;Costas Courcoubetis;Nicolas Halbwachs;Thomas A. Henzinger

  • Alternating-time temporal logic

    Rajeev Alur;Thomas A. Henzinger;Orna Kupferman

  • Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems

    Rajeev Alur;Costas Courcoubetis;Thomas A. Henzinger;Pei-Hsin Ho

  • Automata for modeling real-time systems

    Rajeev Alur;David L. Dill

  • Model-checking for real-time systems

    R. Alur;C. Courcoubetis;D. Dill

  • Model-Checking in Dense Real-Time

    R. Alur;C. Courcoubetis;D. Dill

  • Discrete abstractions of hybrid systems

    R. Alur;T.A. Henzinger;G. Lafferriere;G.J. Pappas

  • A really temporal logic

    Rajeev Alur;Thomas A. Henzinger

  • Reactive Modules

    Rajeev Alur;Thomas A. Henzinger

  • Automatic symbolic verification of embedded systems

    R. Alur;T.A. Henzinger;Pei-Hsin Ho

  • The benefits of relaxing punctuality

    Rajeev Alur;Tomás Feder;Thomas A. Henzinger

  • Logics and Models of Real Time: A Survey

    Rajeev Alur;Thomas A. Henzinger

  • Syntax-guided synthesis

    Rajeev Alur;Rastislav Bodik;Garvit Juniwal;Milo M. K. Martin

  • Real-time logics: complexity and expressiveness

    R. Alur;T.A. Henzinger

  • Timed Automata

    Rajeev Alur

  • Visibly pushdown languages

    Rajeev Alur;P. Madhusudan

  • Timed Automata

    Unknown

  • Syntax-Guided Synthesis.

    Rajeev Alur;Rastislav Bodík;Eric Dallal;Dana Fisman

  • Real-Time Logics

    R. Alur;T.A. Henzinger

Frequent Co-Authors

Thomas A. Henzinger
Thomas A. Henzinger Institute of Science and Technology Austria
P. Madhusudan
P. Madhusudan University of Illinois at Urbana-Champaign
George J. Pappas
George J. Pappas University of Pennsylvania
Milo M. K. Martin
Milo M. K. Martin Google (United States)
Insup Lee
Insup Lee University of Pennsylvania
Mihalis Yannakakis
Mihalis Yannakakis Columbia University
Kousha Etessami
Kousha Etessami University of Edinburgh
Doron Peled
Doron Peled Bar-Ilan University
Swarat Chaudhuri
Swarat Chaudhuri The University of Texas at Austin
Costas Courcoubetis
Costas Courcoubetis Chinese University of Hong Kong, Shenzhen

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

Report an issue

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:

Related Online Degrees & Career Pathways

Exploring computer science as a field of study opens up opportunities to pair your major with complementary subjects. Many students find success by considering majors in college that align with their interests in technology, business, or engineering. This strategic approach can enhance skills and expand career options in the growing tech market.

For those seeking a flexible path, there are several easy masters programs to get into online. These programs offer a smoother admission process and often provide accelerated learning for working professionals or recent graduates.

Continuing education doesn’t have to be costly. If you are aiming for advanced credentials, you can find some of the cheapest doctoral programs online that offer quality education at a lower cost. Additionally, educators looking for leadership roles may benefit from cheapest online edd programs that are both flexible and affordable.

As the demand for computer science skills grows, leveraging a well-planned educational pathway can lead to rewarding and diverse career opportunities.

Best Scientists Citing Rajeev Alur

Trending Scientists

Recently Published Articles