Category:Rajeev Alur
English: Rajeev Alur is a researcher in the field of formal methods for modeling and analyzing programs and systems, in particular model checking.
American computer scientist | |||||
Upload media | |||||
Date of birth | 5 March 1966 | ||||
---|---|---|---|---|---|
Country of citizenship | |||||
Educated at | |||||
Doctoral advisor |
| ||||
Doctoral student |
| ||||
Occupation | |||||
Employer | |||||
Member of | |||||
Field of work | |||||
Award received |
| ||||
| |||||
Media in category "Rajeev Alur"
The following 3 files are in this category, out of 3 total.
-
Edmund Clarke, Randal Bryant, Rajeev Alur FLoC 2006.jpg 640 × 432; 137 KB
-
Rajeev Alur FLoC 2006.jpg 432 × 640; 139 KB
-
Randal Bryant, Rajeev Alur FLoC 2006.jpg 640 × 432; 128 KB