Rajeev Alur

Rajeev Alur: 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.

Игры ⚽ Нужен реферат?

Hybrid automaton — A hybrid automaton (plural hybrid automata) is a mathematical model for precisely describing systems where computational processes interact with physical processes. Its behavior consists of discrete state transitions and continuous… … Wikipedia
Mihalis Yannakakis — Born September 13, 1953 … Wikipedia
Claire J. Tomlin — Claire Jennifer Tomlin (b. Southampton, England 1969) is an American researcher in hybrid systems, distributed and decentralized optimization and control theory. Contents 1 Life 2 Works 3 References … Wikipedia
Finite-state machine — State machine redirects here. For infinite state machines, see State transition system. For fault tolerance methodology, see State machine replication. SFSM redirects here. For the Italian railway company, see Circumvesuviana. A finite state… … Wikipedia

Academic Dictionaries and Encyclopedias