PADL
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Rajeev Alur

Registered user since Mon 2 Oct 2017

Name:Rajeev Alur
Bio:

He is Zisman Family Professor in the Department of Computer and Information Science at the University of Pennsylvania, USA.

He 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).

Affiliation:University of Pennsylvania

Contributions

Show activities from other conferences

POPL 2016-profile
View general profile