Prof. Rajeev Alur

Rajeev Alur obtained his bachelor's degree in computer science
from Indian Institute of Technology at Kanpur in 1987,
and PhD in computer science from Stanford University in 1991.
Since then, he has been with Computing Science Research Center in Bell
Laboratories as Member of Technical Staff.
In Fall 1997, he joined the faculty in Computer and Information
Science at the University of Pennsylvania as an Associate Professor.
His areas of research include formal specification and verification of
reactive systems, hybrid systems, concurrency theory, and
programming languages. His recent awards include NSF CAREER and
Alfred P. Sloan Faculty Fellowship. His current projects are
CHARON (design and analysis of hierarchical hybrid systems),
HeRMes (model checker for hierarchical modules),
MECCA (software distribution in ad-hoc mobile networks),
MOCHA (model checker aimed at exploiting modularity),
and scenario-based requirements.