Rajeev Alur
Encyclopedia
Rajeev Alur is a researcher in the field of formal methods
for modeling and analyzing programs and systems, in particular model checking
. His contributions include timed automation
and temporal specifications based on languages of nested word
s 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
.
Alur received his PhD from Stanford University
in 1991 under the supervision of David Dill. The title of the thesis is Techniques for Automatic Verification of Real-Time Systems.
Formal methods
In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...
for modeling and analyzing programs and systems, in particular model checking
Model checking
In computer science, model checking refers to the following problem:Given a model of a system, test automatically whether this model meets a given specification....
. His contributions include timed automation
Automation
Automation is the use of control systems and information technologies to reduce the need for human work in the production of goods and services. In the scope of industrialization, automation is a step beyond mechanization...
and temporal specifications based on languages of nested word
Nested word
In computer science, more specifically in automata and formal language theory, nested words are a concept proposed by Alur and Madhusudan as a joint generalization of words, as traditionally used for modelling linearly ordered structures, and of ordered unranked trees, as traditionally used for...
s and trees. He is Zisman Family professor of Computer and Information Science at the University of Pennsylvania
University of Pennsylvania
The University of Pennsylvania is a private, Ivy League university located in Philadelphia, Pennsylvania, United States. Penn is the fourth-oldest institution of higher education in the United States,Penn is the fourth-oldest using the founding dates claimed by each institution...
. In 2007 he was inducted as a Fellow of the Association for Computing Machinery
Association for Computing Machinery
The Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009...
.
Alur received his PhD from Stanford University
Stanford University
The Leland Stanford Junior University, commonly referred to as Stanford University or Stanford, is a private research university on an campus located near Palo Alto, California. It is situated in the northwestern Santa Clara Valley on the San Francisco Peninsula, approximately northwest of San...
in 1991 under the supervision of David Dill. The title of the thesis is Techniques for Automatic Verification of Real-Time Systems.
External links
- Publications by Alur which are listed at DBLPDBLPDBLP is a computer science bibliography website hosted at Universität Trier, in Germany. It was originally a database and logic programming bibliography site, and has existed at least since the 1980s. DBLP listed more than 1.3 million articles on computer science in January 2010...