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]
^"Rajeev Alur". ACM Fellows. ACM. 2007. Retrieved 23 January 2010. For contributions to the specification and verification of reactive and hybrid systems.
^"Zisman Family Professor of CIS: Rajeev Alur". University of Pennsylvania Almanac. Almanac, Vol. 50, No. 12, November 11, 2003. Retrieved 16 October 2021.
RajeevAlur is an American professor of computer science at the University of Pennsylvania who has made contributions to formal methods, programming languages...
Republic of the Congo Alur language, the language spoken by the Alur people Mithu Alur (born 1943), disability rights activist RajeevAlur, professor of computer...
bottom-up tree automata and nondeterministic top-down tree automata. RajeevAlur and Parthasarathy Madhusudan related a subclass of regular binary tree...
automaton: an extension of timed automaton with universal transitions. RajeevAlur, David L. Dill. 1994 A Theory of Timed Automata. In Theoretical Computer...
target data association and tracking problems in ocean surveillance. 2008 RajeevAlur For contributions to automata, logics, and verification techniques for...
mappings" Eugenio Moggi, "Computational lambda-calculus and monads" RajeevAlur, Costas Courcoubetis, David L. Dill, "Model-checking for real-time systems"...
she was associate director of a project on program synthesis headed by RajeevAlur. In 2016 she obtained a position as assistant professor of computer science...
symbolic model checking of continuous-time Markov chains." (CONCUR 1999) RajeevAlur, Thomas A. Henzinger, Orna Kupferman & Moshe Y. Vardi: "Alternating Refinement...
automata and formal language theory, nested words are a concept proposed by Alur and Madhusudan as a joint generalization of words, as traditionally used...
Alexander L. Wolf Bryant W. York Stanley B. Zdonik Lixia Zhang Anant Agarwal RajeevAlur Utpal Banerjee Catriel Beeri Avrim Blum Eric A. Brewer Andrei Z. Broder...
University of Pennsylvania. May 6, 2014. Retrieved November 14, 2021. "RajeevAlur and Arjun Yodh: AAAS Fellows". University of Pennsylvania. February 21...
in Hassan, Arsikere, Channarayapatna, Belur, Holenarasipura, Sakleshpur, Alur and Arkalgud. Current Member of Parliament from Hassan is Prajwal Revanna...
Computation. The list of past award winners is maintained by the EACSL. 2016 RajeevAlur and David Dill "for their invention of timed automata, a decidable model...
IEEE Symposium on Switching and Automata Theory, Oct 1972, pp.125–129. Alur, Rajeev; Henzinger, Thomas A. (1994-01-01). "A Really Temporal Logic". J. ACM...
synthesis by sketching (PDF) (Ph.D.). University of California, Berkeley. Alur, Rajeev; al., et (2013). "Syntax-guided Synthesis". Proceedings of Formal Methods...
and synthesis of MITL through alternating timed automata (PhD). p. 56. Alur, Rajeev; Dill, David (1994). "A theory of timed automata". Theoretical Computer...
Society Press, pp. 278–292, archived from the original on 2010-01-27 Alur, Rajeev; Courcoubetis, Costas; Halbwachs, Nicolas; Henzinger, Thomas A.; Ho,...
cricket with her brothers. The founder of the Spastic Society of India, Mithu Alur, stated in an interview that Nargis had a dream of pursuing medicine that...
Global Information