Prof. Rajeev Alur is a Zisman Family Professor of Computer and Information Science and the Founding Director of ASSET (Center for AI-Enabled Systems: Safe Explainable, and Trustworthy) at the University of Pennsylvania. He is the author of the much-acclaimed book Principles of Cyber-Physical Systems (MIT Press, 2015). He has served as the chair of ACM SIGBED (Special Interest Group on Embedded Systems) and is currently the general chair of Federated Logic Conference FLoC. Honoring his academic excellence, IIT Kanpur conferred upon him the prestigious Distinguished Alumnus Award 2017.
Prof. Rajeev Alur obtained his B.Tech. in Computer Science from IIT Kanpur in 1987 and a Ph.D. from Stanford University in 1991. He then joined the Computing Science Research Center at Bell Laboratories as a member of the technical staff. In Fall 1997, he joined the Computer and Information Science at the University of Pennsylvania. Recently he led the NSF Expeditions in Computer Augmented Program Engineering (ExCAPE) to develop synthesis tools that can assist expert programmers to discover tricky parts of the code, and/or help end-users perform simple programming tasks without having to write code. Among his many awards, the most notable is 2024 Donald E. Knuth Prize for outstanding contributions to the foundations of computer science.
