Two Penn Researchers Named Simons Investigators

Rajeev Alur and Randall Kamien of the University of Pennsylvania have been awarded five-year, $500,000 grants from the Simons Foundation , as part of its 2013 class of Simons Investigators. Similar to the MacArthur Foundation's " Genius Grants ," the prizes come from the nonprofit with no strings attached. They are intended to enable the researchers to undertake long-term study of fundamental questions in theoretical fields. Alur, a professor of computer and information science in the School of Engineering and Applied Science , and Kamien, a professor of physics in the School of Arts and Sciences ' Department of Physics and Astronomy , were among a class of 13 mathematicians, theoretical physicists and theoretical computer scientists who were awarded this year. The foundation describes Alur as "a leading researcher in formal modeling and algorithmic analysis of computer systems" who has had a "great impact on both the theory and practice of verification." In computer science, "verification" is the process by which programmers tediously weed out errors and determine whether the program works as intended. As programs become more and more complex, researchers like Alur are developing systems that are better able to check and correct themselves. To this end, he is leading a five-year, $10 million National Science Foundation project known as ExCAPE , or Expeditions in Computer Augmented Program Engineering.