Rajeev Alur's Biography
Rajeev Alur is Zisman Family Professor of Computer and Information Science and
the Founding Director of ASSET (Center for AI-Enabled Systems: Safe Explainable, and Trustworthy)
at University of Pennsylvania. He obtained his bachelor's degree in computer
science from IIT 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 at Bell Labs. His
research is focused on formal methods for system design, and spans artificial intelligence, cyber-physical systems,
distributed systems, logic in computer science, machine learning, and programming languages.
He is a Fellow of AAAS, ACM, EATCS, and IEEE, an Alfred P. Sloan Faculty Fellow,
and a Simons Investigator.
Notable awards include
the inaugural CAV (Computer-Aided Verification) award (2008),
the inaugural Alonzo Church award (2016),
IIT Kanpur Distinguished Alumnus Award (2017),
and the Knuth Prize (2024).
Prof. Alur has served as the chair of ACM SIGBED (Special Interest Group on
Embedded Systems), the general chair of LICS, and
the lead PI of the NSF Expeditions in Computing center ExCAPE (Expeditions in Computer Augmented
Program Engineering).
He is the author of the textbook Principles of Cyber-Physical Systems (MIT Press, 2015).
Back to Rajeev Alur's homepage