Rajeev Alur
Zisman Family Professor
Graduate Group Chair
Department of Computer and Information Science
University of Pennsylvania
Office: 609 Levine Hall
Address:
3330 Walnut Street, Philadelphia, PA 19104.
Tel: (215) 573-7483.
Fax: (215) 898-0587
Email:
alur at cis upenn edu
Research
Design tools for embedded software,
Formal modeling and verification of reactive systems,
Model checking, Hybrid systems, Software analysis,
Logic and automata theory.
Current Projects
- 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)
- Reasoning about secrecy and information flow
- 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
Research Group
News and Notes