Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Rajeev Alur

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 Research

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
Recent projects: Automated symbolic compositional verification by learning assumptions, IST (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 262: Automata, Computability, and Complexity, Fall 2008
CIS 511: Theory of Computation, Spring 2008.
CIS 670: Program Analysis, Fall 2007
CIS 673: Computer-Aided Verification, Fall 2006.

Research Group

PhD Students: Pavol Cerny, Sela Mador-Haim
Post-docs: Aditya Kanade, Gera Weiss
Former members