Write a Blog >>
Rajeev Alur

Registered user since Mon 2 Oct 2017

Name:Rajeev Alur
Country:United States
Affiliation:University of Pennsylvania
Research interests:Formal methods, Cyber-physical systems, Programming languages


VMCAI 2020 Invited Speaker in Invited Speakers within the VMCAI 2020-track
Model Checking for Safe Autonomy
Show activities from other conferences

POPL 2020-profile
View general profile