_hackers/minds
Rajeev Alur
Academic

Rajeev Alur

American computer scientist

Life
1966 – present
Born
March 5, 1966
Nationality
United States

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 and nested words.

§Related entries

$cat external_references.txt