Rajeev Alur

Registered user since Mon 2 Oct 2017

Name:Rajeev Alur
Affiliation:University of Pennsylvania

Contributions

PLOOC 2015 AutomataTutor and what I learned from building an online teaching tool
Show activities from other conferences

PLDI 2015-profile
View general profile