Professor Rajeev Alur named a Fellow of Association for Computing Machinery (ACM) and a Fellow of IEEE

December 17, 2007

Rajeev Alur, Professor of Computer and Information Science, has been named a Fellow of the Association for Computing Machinery (ACM) "for contributions to the specification and verification of reactive, real-time, and hybrid systems." Alur is among 38 ACM members recognized as Fellows in 2007 for their achievements in computer and information technology. Alur was also named a Fellow of the Institute of Electrical and Electronics Engineers (IEEE) for his "for contributions to automata, logics, and verification techniques for real-time and hybrid systems."