Rajeev Alur
From Wikipedia, the free encyclopedia
Rajeev Alur is a researcher in the field of formal methods for modeling and analyzing programs and systems. His contributions include timed automata and temporal specifications based on languages of nested words and trees. He is Zisman Family professor of Computer and Information Science at the University of Pennsylvania. In 2007 he was inducted as a Fellow of the Association for Computing Machinery.
 |
This biographical article relating to a computer specialist in the United States is a stub. You can help Wikipedia by expanding it. |
