It is a great honor to receive the Knuth Prize. I feel so grateful to the wonderful support I have received from everyone in CIS and Penn Engineering over the years, and the collaboration with our faculty and students has been incredibly valuable to me. My research is focused on mathematical abstractions and analysis tools that allow designers to reason about correctness of computer systems. As AI becomes a key component of the next generation of computer systems, we are faced with new challenges to ensure that society can trust such systems, and that’s what will motivate my research going forward.
Rajeev Alur
Rajeev Alur, Zisman Family Professor of Computer and Information Science at the University of Pennsylvania, has been awarded the 2024 Donald E. Knuth Prize for outstanding contributions to the foundations of computer science. The award recognizes his introduction of novel models of computation that have shaped how computer systems are analyzed, designed, synthesized, and verified.
Over the past three decades, Alur has played a central role in advancing the theoretical foundations of modern computing. While rooted in algorithms and logic, his research has had broad impact across control theory, cyber-physical systems, multi-agent systems, and program synthesis. With more than 52,000 citations, his work has helped define entire areas of research in computer science. The contributions highlighted below reflect the lasting influence of his scholarship and the work for which he is recognized with the 2024 Knuth Prize.
The Donald E. Knuth Prize recognizes sustained and influential contributions to the foundations of computer science over an extended period of time. Awarded annually by the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT) and the IEEE Technical Committee on the Mathematical Foundations of Computing (TCMF), the prize honors a single individual whose work has had lasting impact on the field. Selection is based primarily on a record of high-impact, seminal research, with educational contributions such as influential textbooks and student mentorship also considered. Named in honor of Donald E. Knuth, the award reflects the central role of theory in shaping the foundations of modern computing.
Alur received the 2024 Knuth Prize for his transformative contributions to theoretical computer science, particularly his introduction of computational models that have become central to the analysis of complex systems. His work on timed automata established the standard formal framework for reasoning about real-time systems, enabling decision algorithms for safety and deadlock analysis under timing constraints. His research has also advanced temporal logics, hybrid automata for embedded systems, strategic reasoning for multi-agent systems, and nested words (visibly pushdown languages), opening new directions in program verification, language theory, and structured computation.
In addition to these foundational models, Alur and his collaborators introduced syntax-guided synthesis (SyGuS), a unifying framework for generating programs that satisfy logical specifications—now a core area of research in programming languages and automated synthesis. Across his career, his work has bridged deep theoretical insight with practical impact, influencing verification and control tools, shaping emerging research areas such as cyber-physical systems, and mentoring a generation of scholars. His body of work exemplifies the sustained, high-impact scholarship recognized by the Knuth Prize.