Rajeev Alur
Zisman Family Professor
Computer and Information Science (CIS)
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 
- Towards synthesis of platform-aware attack-resilient control systems: Extended abstract, Pajic, M. | Bezzo, N. | Weimer, J. | Alur, R. | Mangharam, R. | Michael, N. | Pappas, G.J. | Sokolsky, O. | Tabuada, P. | Weirich, S. | Lee, I., HiCoNS 2013 - Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems, Part of CPSWeek 2013, 2013
- On the complexity of shortest path problems on discounted cost graphs, Alur, R. | Kannan, S. | Tian, K. | Yuan, Y., Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013
- Safe schedulability of bounded-rate multi-mode systems, Alur, R. | Forejt, V. | Moarref, S. | Trivedi, A., HSCC 2013 - Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Part of CPSWeek 2013, 2012
- Regular transformations of infinite strings, Alur, R. | Filiot, E. | Trivedi, A., Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012, 2012
- Algorithmic analysis of array-accessing programs, Alur, R. | Černý, P. | Weinstein, S., ACM Transactions on Computational Logic, 2012