Rajeev Alur

Rajeev Alur is the Zisman Family Professor at the Department of Computer and Information Science, University of Pennsylvania. He directs the ASSET Center for Trustworthy AI and is affiliated with Penn's PRECISE Center and PL Club.

• Research Focus: Formal methods, cyber-physical systems, AI/ML safety, program synthesis, and software verification.
• Teaching: Undergraduate CIS 2620, graduate CIS 540, and PhD-level CIS 6730.

His recent publications (2021-2025) emphasize Neurosymbolic AI, Neural Network Verification, Relational Programming, and Reinforcement Learning with Formal Specifications. Notable projects include AutomataTutor and StreamQRE.

Scientific Awards:

• 2024 Knuth Prize
• 2016 Alonzo Church Award

Students: Mentored 19 PhD students (2000-2025) including Anton Xue (2025), Konstantinos Kallas (2024), and Kishor Jothimurugan (2023). Supervised 8 Master's students since 1999.