Open main menu
English: Rajeev Alur is a researcher in the field of formal methods for modeling and analyzing programs and systems, in particular model checking.
Rajeev Alur 
American computer scientist
Rajeev Alur FLoC 2006.jpg
Upload media
Wikipedia-logo-v2.svg  Wikipedia
Date of birth5 March 1966
Country of citizenship
Educated at
Occupation
Employer
Member of
Award received
  • Fellow of the Association for Computing Machinery (2007)
  • ACM Fellow
  • IEEE Fellow
Authority control
Blue pencil.svg
Rajeev Alur (ca); Rajeev Alur (nl); Rajeev Alur (fr); Rajeev Alur (es); Rajeev Alur (en); Rajeev Alur (sl); Rajeev Alur (it); Rajeev Alur (ast) American computer scientist (en); informaticien américain (fr); Amerikaans informaticus (nl) Rajeev Alur (de)

Media in category "Rajeev Alur"

The following 3 files are in this category, out of 3 total.