Rajeev Alur

Short description: American computer scientist

Rajeev Alur

Photo of Rajeev Alur from 2006

Born|

Pune

Occupation| Professor of computer and Information Science

Rajeev Alur is an American professor of computer science at the University of Pennsylvania who has made contributions to formal methods, programming languages, and automata theory, including notably the introduction of timed automata (Alur and Dill, 1994) and nested words (Alur and Madhusudan, 2004).

Prof. Alur was born in Pune. He obtained his bachelor's degree in computer science from the Indian Institute of Technology Kanpur in 1987, and his Ph.D. in computer science from Stanford University in 1991. Before joining the University of Pennsylvania in 1997, he was with the Computing Science Research Center at Bell Laboratories. His research has included formal modeling and analysis of reactive systems, hybrid systems, model checking, software verification, design automation for embedded software, and program synthesis. He is a Fellow of the ACM,[1] a Fellow of the IEEE, 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.[2]

## Awards and honors

* A CAREER award from the US National Science Foundation.[3]
* The 2008 Computer Aided Verification Award for fundamental contributions to the theory of real-time systems verification (with David Dill).[4]
* 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).[5]
* 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."[6]
* The 2024 Knuth Prize for "outstanding contributions to the foundations of computer science for his introduction of novel models of computation which provide the theoretical foundations for analysis, design, synthesis, and verification of computer systems"[7]

## References

1. ↑ "Rajeev Alur". ACM Fellows. ACM. 2007. http://fellows.acm.org/fellow_citation.cfm?id=3671617&srt=alpha&alpha=A. "For contributions to the specification and verification of reactive and hybrid systems."
2. ↑ "Zisman Family Professor of CIS: Rajeev Alur". Almanac, Vol. 50, No. 12, November 11, 2003. https://almanac.upenn.edu/archive/v50/n12/alur.html.
3. ↑ "CAREER: Computer-Aided Verification of Reactive Systems". National Science Foundation. https://www.nsf.gov/awardsearch/showAward?AWD_ID=9734115.
4. ↑ "The 2008 CAV Award". Princeton University. https://www.princeton.edu/cav2008/cav_award_announce.html.
5. ↑ "LICS Test-of-Time award". http://www2.informatik.hu-berlin.de/lics/archive/test-of-time-award.html. "For the pioneer work in the model checking of real-time systems."
6. ↑ "The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation". ACM Special Interest Group on Logic and Computation. https://siglog.org/the-2016-alonzo-church-award-for-outstanding-contributions-to-logic-and-computation/.
7. ↑ "2024 Knuth Prize: Rajeev Alur". https://www.sigact.org/prizes/knuth/citation2024.html.

## External links

* Rajeev Alur homepage
* Rajeev Alur publications indexed by Google Scholar

* v
* t
* e

Knuth Prize laureates

1990s|

* Yao (1996)
* Valiant (1997)
* Lovász (1999)

2000s|

* Ullman (2000)
* Papadimitriou (2002)
* Ajtai (2003)
* Yannakakis (2005)
* Lynch (2007)
* Strassen (2008)

2010s|

* Johnson (2010)
* Kannan (2011)
* Levin (2012)
* Miller (2013)
* Lipton (2014)
* Babai (2015)
* Nisan (2016)
* Goldreich (2017)
* Håstad (2018)
* Wigderson (2019)

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Rajeev Alur. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Biography:Rajeev_Alur&oldid=3971337"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template