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.

Email address: alur@saul.cis.upenn.edu

Homepage: http://www.cis.upenn.edu/~alur

Contact 
©2002-2018 U.C. Regents