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 principles and tools for design and analysis of safe and trustworthy systems. 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). He is the author of the textbook Principles of Cyber-Physical Systems (MIT Press, 2015), has served as the chair of ACM SIGBED (Special Interest Group on Embedded Systems), was the lead PI of the NSF Expeditions in Computing project ExCAPE on program synthesis, and is the General Chair for upcoming Federated Logic Conference (FLoC) in 2026.

Back to Rajeev Alur's homepage