Login(mail) :
Password :
Forgot your password?
Role ISC Leader
Institution Dept. of Computer and Information Science, Univ. of Pennsylvania
Address 3330 Walnut Street
PA 19104 Philadelphia
Phone (215) 573 7483
Personal homepage

Biographical sketch

Rajeev Alur is Zisman Family Professor of Computer and Information Science at University of Pennsylvania. He obtained his bachelor's degree in computer science from Indian Institute of Technology at Kanpur in 1987, and PhD in computer science from Stanford University in 1991. Before joining Penn in 1997, he was with Computing Science Research Center in Bell Laboratories. His areas of research include formal modeling and analysis of reactive systems, hybrid systems, model checking, software verification, logics and automata, and design automation for embedded software. His awards include IEEE Logic in Computer Science (LICS) Test-of-Time award (2010), the inaugural CAV (Computer-Aided Verification) award (2008), ACM Fellow (2007), IEEE Fellow (2007), designation as a highly cited scientist by the Institute for Scientific Information (2005), Alfred P. Sloan Faculty Fellowship (1999), National Science Foundation's CAREER award (1997), and President of India's Gold Medal for academic excellence (1987). Prof. Alur has (co)chaired scientific meetings such as CAV (Intl Conf on Computer-Aided Verification), EMSOFT (ACM Symp on Embedded Software), HSCC (Intl Conf on Hybrid Systems: Computation and Control), and LICS (IEEE Symp on Logic in Computer Science). He has served as the chair of ACM SIGBED (Special Interest Group on Embedded Systems), and is currently the general chair of IEEE LICS.