Prof. Rajeev Alur (BT/CSE/1987)

Prof. Rajeev Alur is a Zisman Family Professor of Computer and Information Science at the University of Pennsylvania. He is the author of the much-acclaimed book Principles of Cyber-Physical Systems (MIT Press, 2015). He has served as the chair of ACM SIGBED (Special Interest Group on Embedded Systems) and as the general chair of LICS. Currently, he is leading the NSF Expeditions in Computing center ExCAPE. Honoring his academic excellence, IIT Kanpur conferred upon

him the prestigious Distinguished Alumnus Award 2017. “The curriculum is challenging here, and you study with the best students. The foundation that you receive here uniquely prepares you to excel in research and join academia,” said Prof. Alur, while receiving the award.

PROFILE

Prof. Rajeev Alur obtained his B.Tech. in Computer Science from IIT Kanpur in 1987 and a Ph.D. from Stanford University in 1991. He then joined the Computing Science Research Center at Bell Laboratories as a member of the technical staff and continued working there till 1997. In Fall 1997, he joined the Computer and Information Science at the University of Pennsylvania as an Associate Professor. His areas of research include formal specification and verification of reactive systems, hybrid systems, concurrency theory and programming languages.

Prof. Alur’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. His current projects include software synthesis, programming abstractions for querying streaming data, and finding performance bugs in code for parallel hardware architectures. He is leading the NSF Expeditions in Computer Augmented Program Engineering (ExCAPE) to develop synthesis tools that can assist expert programmers to discover tricky parts of the code, and/or help end-users perform simple programming tasks without having to write code. To simplify the task of programming the desired logic, they are developing StreamQRE that has constructs based on regular expressions, quantitative aggregation iterators and relational calculus.

Prof. Alur is a Fellow of the AAAS (2016), ACM (2007), IEEE (2008), Alfred P. Sloan Faculty Fellow (1999) and a Simons Investigator (2013).

Achievements and Honors

  • ACM SIGLOG / EATCS / EACSL / Kurt G ̈odal Society Alonzo Church Award for outstanding contributions to logic and computation, 2016 (with David Dill).

  • Best Paper Award, 15th International Conference on Hybrid Systems: Computation and Control (HSCC), CPSWeek 2012 (with A. Trivedi and D. Wojtczak).

  • The George H. Heilmeier Faculty Award for Excellence in Research, School of Engineering and Applied Science, University of Pennsylvania, 2010.

  • LICS Test-of-Time Award, 2010.

  • Heilmeier Award for Excellence in Faculty Research, 2010.

  • The inaugural Computer Aided Verication Award, 2008.

  • Elected Chair of the Association of Computing Machinery (ACM) Special Interest Group on Embedded Systems, 2005.

  • National Science Foundation Information Technology Research Award, 2001.

  • NSF Early Career Award, 1998.

  • President of India Gold Medal for Academic Excellence, IIT Kanpur, 1987.

 

 

IIT Kanpur

 

 

Other Alumni



 

Prof. Rakesh K. Jain

(Professor, HMS)
View Profile
 
 

Prof. Dipankar D. Sarma

(Professor, IISc)
View Profile
 
 

Prof. Jainendra K. Jain

(Professor, PennState University)
View Profile
 
 

Prof. Sandip P. Trivedi

(Director, TIFR)
View Profile
 
 

Prof. Anurag Kumar

(Director, IISc)
View Profile
 
 

Prof. Manindra Agrawal

(Professor, IIT Kanpur)
View Profile
 
 

Dr. Manu Prakash

(Faculty, Stanford University)
View Profile
 
 

Prof. Shiraz N. Minwalla

(Professor, TIFR)
View Profile
 
 

Prof. Balasubramanian Gopal

(Professor, IISc)
View Profile
 
 

Dr. Ajay Kumar

DRA, NASA Langley Research Center
View Profile
 
 

Prof. Amitabha Chattopadhyay

(Professor, IIT, Guwahati)
View Profile
 
 

Prof. Anil K. Jain

(Professor, Michigan State University)
View Profile
 
 

Prof. Sangram Mudali

(Director, NIST)
View Profile
 

Report a site error at webmaster@iitk.ac.in