Rajeev Alur

Zisman Family Professor

Computer and Information Science

Founding Director, ASSET Center

Office: Amy Gutmann Hall, 601G

Research Areas

  • Trustworthy AI and Safe Autonomy
  • Cyber-physical Systems
  • Distributed Systems
  • Formal Methods and Logic
  • Program Verification
  • Machine Learning
  • Programming Languages

Awards

2024: Donald E. Knuth Prize

2019: Best Paper Award, MEMOCODE

2016: Fellow of the AAAS

2016: Alonzo Church Award

2013: Simons Investigator

2012: Best Paper Award, International Conference on Hybrid Systems: Computation and Control

2010: The George H. Heilmeier Faculty Award for Excellence in Research

2010: ACM/IEEE Logic in Computer Science (LICS) Test-of-Time Award

Projects/Papers

AI Meets Medicine: Penn Secures ARPA-H Funding for AI in Breast Cancer Care and More
Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference
MuCache: A General Framework for Caching in Microservice Graphs

Students

PhDs:

Anton Xue (co-advised with Eric Wong)

Phillip Hilliard (co-advised with Zack Ives)

Vitoria Aquino Guardieiro

Christopher Watson

Alaia Solko-Breslin

Seewon Choi

Mayank Keoliya (co-advised with Mayur Naik)

Avishree Khare

Guruprerana Shabadi

Emma Shedden (co-advised with Osbert Bastani)