_hackers/minds
Rajeev Alur
Universitaire

Rajeev Alur

American computer scientist

Vie
1966 – présent
Né(e) le
5 mars 1966
Nationalité
États-Unis

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.

§Entrées associées

$cat références_externes.txt