Category:Rajeev Alur
Jump to navigation
Jump to search
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
Categories:
- Alur (surname)
- Rajeev (given name)
- 1966 births
- Fellows of the Association for Computing Machinery
- Fellows of the Institute of Electrical and Electronics Engineers
- Fellows of the American Association for the Advancement of Science
- Knuth Prize laureates
- 20th-century men of the United States
- 21st-century men of the United States
- Male computer scientists from the United States
- Model checking (computer science)
- Formal methods people