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


Overview

My research spans three subdisciplines in computer science: theoretical computer science (topics such as automata, logics, concurrency, and models of computation); formal methods in system design (topics such as computer-aided verification, software analysis, and system synthesis); and cyber-physical systems (topics such as embedded controllers, real-time systems, and hybrid systems). I am a member of Penn's PRECISE Center, and I also collaborate with Penn's Architecture and Compilers Group, PL Club, and Theory Research Group.


Research

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

Teaching

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 direct. Every Spring, I teach CIS 540: Principles of Embedded Computation for this program. On this topic, I am writing a textbook Principles of Cyber-Physical Systems which will be published by MIT Press (scheduled to appear by the end of 2014).

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


Research Group