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

Research

• Online Publications (DBLP, Google Scholar)
• Recent Talks
• Biography
• Curriculum vitae

Current Projects

• Synthesis for system design: NSF Expeditions project in Computer Augmented Program Engineering
• Architecture aware analysis of concurrent software (Checkfence)
• Nested Words (aka visibly pushdown languages) for modeling linear-hierarchical structure (with applications to model checking of structured programs and document processing)
• Design, implementation, and scheduling of embedded software (RTComposer )
• Symbolic simulation for hybrid systems analysis
• Recent projects: Automated symbolic compositional verification by learning assumptions, JIST (Interfaces for Java classes using abstraction and games), Specification, Analysis, and Testing of Scenario-based Requirements., HERMES (Model Checking of Hierarchical State Machines), Mocha (Model checking of open systems using ATL), CHARON (Hybrid systems: modeling and verification), Timed and hybrid automata

Current Teaching

• CIS 540: Principles of Embedded Computation, Spring 2012
• CIS 673: Computer-Aided Verification, Fall 2012.

Research Group

• PhD Students: Loris D'Antoni; Sela Mador-Haim (Co-advised with Milo Martin); Salar Moarref; Mukund Raghothaman; Abhishek Udupa (Co-advised with Milo Martin); Yifei Yuan.
• Postdoctoral Researcher: Ashutosh Trivedi
• Former members