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 the introduction of timed automata (Alur and Dill, 1994) and nested words (Alur and Madhusudan, 2004). He earned his bachelor's degree from the Indian Institute of Technology Kanpur in 1987 and his PhD from Stanford University in 1991, and before joining Penn in 1997 worked at the Computing Science Research Center at Bell Laboratories. He is a Fellow of the ACM and of the IEEE and holds the title of Zisman Family Professor at Penn since 2003.
Facts
In the Other Atlases
Sources
1. Rajeev Alur (Wikidata)
P569 (date of birth): year 1966
1966
Wikidata P166: IEEE Fellow
Wikidata P166 (award received): IEEE Fellow.
Wikidata P166: Knuth Prize
Wikidata P166 (award received): Knuth Prize.
Wikidata P166: Alonzo Church Award
Wikidata P166 (award received): Alonzo Church Award.
Wikidata P166: ACM Fellow
Wikidata P166 (award received): ACM Fellow.
Wikidata P166: Fellow of the American Association for the Advancement of Science
Wikidata P166 (award received): Fellow of the American Association for the Advancement of Science.
P569 (date of birth): 1966-03-05
1966-03-05
View the Source2. Rajeev Alur, Wikipedia
Lead sentence
Rajeev Alur is an American professor of computer science at the University of Pennsylvania
Early life paragraph
Prof. Alur was born in Pune.
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.