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).

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 holds the title of Zisman Family Professor at UPenn since 2003.

This biographical article relating to a computer specialist in the United States is a stub.