Rajeev Alur

Rajeev Alur

Zisman Family Professor
Computer and Information Science (CIS)

Email | Personal Webpage


Honors and Awards:  LICS Test-of-Time Award - 2010, Heilmeier Award For Excellence in Faculty Research - 2010, The inaugural Computer Aided Veri cation Award - 2008, Fellow of the IEEE- 2008, Fellow of the ACM - 2007, Elected Chair of the Association of Computing Machinery (ACM) Special Interest Group on Embedded Systems - 2005, National Science Foundation Information Technology Research Award - 2001, Alfred P. Sloan Faculty Fellowship - 1999, NSF Early Career Award - 1998

Research Expertise: Formal methods, Programming languages and program analysis, Cyber-physical systems

Rajeev's research is aimed at improving technology for design and analysis of reliable software systems. His team is interested in developing specification logics for formalizing correctness requirements, modeling notations for constructing modular descriptions of complex systems, and verification algorithms for checking systems against requirements. Current projects include software synthesis, programming abstractions for querying streaming data, and finding performance bugs in code for parallel hardware architectures.

Member of:

Return to Directory