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:

PhD Computer Science 1991 - Stanford University
Bachelor of Technology Computer Science 1987 - Indian Institute of Technology in Kanpur

Recent Publications RSS Feed

Return to Directory