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
|Date of birth||5 March 1966|
|Country of citizenship|
|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