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 practical disciplines (includin ...
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 universit ...
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 program, computer programs. Most programming languages are text-based formal languages, but they may also be visual programming language, graphical. They are a kind of computer ...
, 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 (Alur and Dill, 1994) and 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 or ...
s (Alur and Madhusudan, 2004).
Prof. Alur was born in Pune
Pune (; ; also known as Poona, ( 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 As of 2021, Pune Metropolitan Region is the largest i ...
. He obtained his bachelor's degree in computer science from the Indian Institute of Technology
The Indian Institutes of Technology (IITs) are central government owned Institute of technology, public technical institutes located across India. They are under the ownership of the Ministry of Human Resource Development, Ministry of Educat ...
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 station ...
, India, in 1987, and Ph.D. in computer science from Stanford University, California
California is a state in the Western United States, located along the Pacific Coast. With nearly 39.2million residents across a total area of approximately , it is the most populous U.S. state and the 3rd largest by area. It is also the ...
, 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 mul ...
. 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 ...
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 system ...
, software verification Software verification is a discipline of software engineering whose goal is to assure that software fully satisfies all the expected requirements.
Broad scope and classification
A broad definition of verification makes it equivalent to software t ...
, 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 time ...
, and program synthesis. He is a Fellow of the ACM
ACM or A.C.M. may refer to:
Aviation
* AGM-129 ACM, 1990–2012 USAF cruise missile
* Air chief marshal
* Air combat manoeuvring or dogfighting
* Air cycle machine
* Arica Airport (Colombia) (IATA: ACM), in Arica, Amazonas, Colombia
Computing
* ...
, 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 operati ...
, 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 ...
.
* 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 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