Open main menu

Wikimedia Commons β

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.
Rajeev Alur (1966–) link=Creator: wikidata:Q7285926
Rajeev Alur
Description American computer scientist and engineer
Date of birth 5 March 1966
Authority control

Media in category "Rajeev Alur"

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