“My current research is primarily focused on Trustworthy AI and Safe Autonomy.”In its own words: cis.upenn.edu
Research group of Rajeev Alur in Penn's Department of Computer and Information Science working on formal methods for system design, including specification-guided safe reinforcement learning.
Show detailsHide details
Led by Rajeev Alur (PI)Checked 26 Oct 2026
Money flows
Where its money came from and where it went. Pick years and what to show; hover a box or ribbon for details, click one to focus it, click the background to see everything.