Rajeev Alur

Rajeev Alur

Zisman Family Professor
Department of Computer and Information Science
University of Pennsylvania
609 Levine
3330 Walnut Street, Philadelphia, PA 19104-6389
email: alur at cis upenn edu
phone: +1 (215) 573-7483


My research spans formal methods, cyber-physical systems, programming languages, automata theory, and logic in computer science. I am a member of Penn's PRECISE Center and PL Club.


My current research is focused on two directions: Here are some selected contributions from my past research (complete list of publications):


At the undergraduate level, I usually teach CIS 262: Automata, Computability, and Complexity in Fall. To help students learn the basic model of deterministic finite automata, we have developed an interactive tool AutomataTutor with novel features for automatically generated feedback and automatic grading. If you are an instructor teaching a course on this topic, please encourage your students to use this tool, and if you want to set up a homework assignment using our tool, send us an email!

To train Masters students in the cross-disciplinary skills required for the emerging area of embedded and cyber-physical systems, Penn Engineering has started a new program EMBS that I directed for many years. Every Spring, I teach CIS 540: Principles of Embedded Computation for this program. On this topic, I have written the textbook Principles of Cyber-Physical Systems which was published by MIT Press in April 2015. There are lots of teaching resources such as exercises, solutions, slides, and projects, available if you want to teach a similar course.

When I get a chance, I teach CIS 673: Computer-Aided Verification for PhD students.

Research Group