Rajeev Alur
Zisman Family Professor
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 (Penn's PRECISE Center),
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