Rajeev Alur Named a Simons Investigator
Rajeev Alur, the Zisman family Professor in the Department of Computer and Information Science, has been named a Simons Investigator by the Simons Foundation. The Simons Investigators program provides a stable base of support for outstanding scientists, enabling them to undertake long-term study of fundamental questions. Investigators receive $100,000 per year for ten years to conduct basic science research.
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. Currently he is focused on developing a synthesis methodology to assist programmers of distributed protocols and on developing the theory of regular functions as a foundation for quantitative analysis of systems.
The Simons Foundation is a private foundation based in New York City, incorporated in 1994 by Jim and Marilyn Simons. The Foundation's mission is to advance the frontiers of research in mathematics and the basic sciences. We sponsor a range of programs that aim to promote a deeper understanding of our world.