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: Embedded Systems | Algorithms and Complexity | Formal Methods

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 applications include concurrency libraries for multicore architectures, Java applets for mobile devices, and safety-critical control software.

Member of:

Affiliations:  Member of the Institute for Research in the Cognitive Sciences; CIS Graduate Group Chair

Education:
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