Rajeev Alur's Biography
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.
Back to Rajeev Alur's homepage