Nisha Rathode (Editor)

Rajeev Alur

Updated on
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Name  Rajeev Alur

Education  Stanford University
Rajeev Alur wwwupennedualmanacv50n12imagesAlurRjpg

Books  Principles of Cyber-Physical Systems
Similar  Amir Pnueli, Claire J Tomlin, S Shankar Sastry, Pravin Varaiya

Regular functions rajeev alur

Rajeev Alur is Zisman Family Professor in the Department of Computer and Information Science at the University of Pennsylvania, United States.


Rajeev Alur FileEdmund Clarke Randal Bryant Rajeev Alur FLoC 2006jpg

Alur obtained his bachelor's degree in computer science from the Indian Institute of Technology at Kanpur, India, in 1987, and PhD in computer science from Stanford University, California, USA, in 1991. Before joining the University of Pennsylvania in 1997, he was with the Computing Science Research Center at Bell Laboratories. Alur's research spans formal modeling and analysis of reactive systems, hybrid systems, model checking, software verification, and design automation for embedded software. His contributions include timed automata and temporal specifications based on languages of nested words and trees. He is a Fellow of the ACM, a Fellow of the IEEE, and recently served as the chair of ACM SIGBED (Special Interest Group on Embedded Systems).

Prof. Rajeev Alur (BT/CSE/1987)

Awards and honors

  • President of India's Gold Medal for academic excellence.
  • A CAREER award of the US National Science Foundation.
  • CAV (Computer Aided Verification) Award for fundamental contributions to the theory of real-time systems verification, 2008 (with David Dill).
  • LICS (IEEE Symposium on Logic in Computer Science) Test-of-Time award for LICS 1990 paper “Model checking for real-time systems,” 2010 (with David Dill and Costas Courcoubetis).
  • References

    Rajeev Alur Wikipedia