Rajeev Alur on:
[Wikipedia]
[Google]
[Amazon]
Rajeev Alur is an American professor of
Rajeev Alur homepage
* Year of birth missing (living people) Living people IIT Kanpur alumni Indian expatriates in the United States American people of Indian descent Stanford University alumni Scientists at Bell Labs University of Pennsylvania faculty Formal methods people American computer scientists Fellows of the Association for Computing Machinery Fellow Members of the IEEE Simons Investigator {{US-compu-bio-stub
Rajeev Alur is an American professor of computer science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...
at the University of Pennsylvania
The University of Pennsylvania (also known as Penn or UPenn) is a private research university in Philadelphia. It is the fourth-oldest institution of higher education in the United States and is ranked among the highest-regarded universitie ...
who has made contributions to formal methods
In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the exp ...
, programming languages
A programming language is a system of notation for writing computer programs. Most programming languages are text-based formal languages, but they may also be graphical. They are a kind of computer language.
The description of a programming ...
, and automata theory
Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical computer science. The word ''automata'' comes from the Greek word αὐτόματο ...
, including notably the introduction of timed automata In automata theory, a timed automaton is a finite automaton extended with a finite set of real-valued clocks. During a run of a timed automaton, clock values increase all with the same speed. Along the transitions of the automaton, clock values can ...
(Alur and Dill, 1994) and nested words (Alur and Madhusudan, 2004).
Prof. Alur was born in Pune
Pune (; ; also known as Poona, (List of renamed Indian cities and states#Maharashtra, the official name from 1818 until 1978) is one of the most important industrial and educational hubs of India, with an estimated population of 7.4 million ...
. He obtained his bachelor's degree in computer science from the Indian Institute of Technology at Kanpur
Kanpur or Cawnpore ( /kɑːnˈpʊər/ pronunciation (help·info)) is an industrial city in the central-western part of the state of Uttar Pradesh, India. Founded in 1207, Kanpur became one of the most important commercial and military stations o ...
, India, in 1987, and Ph.D. in computer science from Stanford University
Stanford University, officially Leland Stanford Junior University, is a private research university in Stanford, California. The campus occupies , among the largest in the United States, and enrolls over 17,000 students. Stanford is consider ...
, California
California is a U.S. state, state in the Western United States, located along the West Coast of the United States, Pacific Coast. With nearly 39.2million residents across a total area of approximately , it is the List of states and territori ...
, USA, in 1991. Before joining the University of Pennsylvania in 1997, he was with the Computing Science Research Center at Bell Laboratories
Nokia Bell Labs, originally named Bell Telephone Laboratories (1925–1984),
then AT&T Bell Laboratories (1984–1996)
and Bell Labs Innovations (1996–2007),
is an American industrial research and scientific development company owned by mult ...
. His research has included formal modeling and analysis of reactive systems, hybrid system A hybrid system is a dynamical system that exhibits both continuous and discrete dynamic behavior – a system that can both ''flow'' (described by a differential equation) and ''jump'' (described by a state machine or automaton). Often, the te ...
s, model checking
In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness). This is typically associated with hardware or software systems ...
, software verification, design automation for embedded software
Embedded software is computer software, written to control machines or devices that are not typically thought of as computers, commonly known as embedded systems. It is typically specialized for the particular hardware that it runs on and has tim ...
, and program synthesis In computer science, program synthesis is the task to construct a program that provably satisfies a given high-level formal specification. In contrast to program verification, the program is to be constructed rather than given; however, both fields ...
. He is a Fellow of the ACM, a Fellow of the IEEE
The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New York City and its operation ...
, and has served as the chair of ACM SIGBED (Special Interest Group on Embedded Systems). He holds the title of Zisman Family Professor at UPenn since 2003.
Awards and honors
* A CAREER award from the USNational Science Foundation
The National Science Foundation (NSF) is an independent agency of the United States government that supports fundamental research and education in all the non-medical fields of science and engineering. Its medical counterpart is the National I ...
.
* The 2008 Computer Aided Verification
In computer science, the International Conference on Computer-Aided Verification (CAV) is an annual academic conference on the theory and practice of computer-aided formal analysis of software and hardware systems, broadly known as formal methods ...
Award for fundamental contributions to the theory of real-time systems verification (with David Dill).
* The 2010 LICS (IEEE Symposium on Logic in Computer Science) Test-of-Time award for the 1990 paper "Model-checking for real-time systems" (with David Dill and Costas Courcoubetis).
* The 2016 Alonzo Church Award
ACM SIGLOG or SIGLOG is the Association for Computing Machinery Special Interest Group on Logic and Computation. It publishes a news magazine (''SIGLOG News''), and has the annual ACM-IEEE Symposium on Logic in Computer Science (LICS) as its fla ...
with David Dill "for their invention of timed automata, a decidable model of real-time systems, which combines a novel, elegant, deep theory with widespread practical impact."
References
External links
Rajeev Alur homepage
* Year of birth missing (living people) Living people IIT Kanpur alumni Indian expatriates in the United States American people of Indian descent Stanford University alumni Scientists at Bell Labs University of Pennsylvania faculty Formal methods people American computer scientists Fellows of the Association for Computing Machinery Fellow Members of the IEEE Simons Investigator {{US-compu-bio-stub