![Radu Grigore](https://conf.researchr.org/getProfileImage/radugrigore/f5db4a09-0544-49c8-9484-c47f44001a6c/small.jpg?1711527195000)
Registered user since Wed 1 Jul 2015
Name:Radu Grigore
Affiliation:University of Oxford
Personal website: http://www.cs.ox.ac.uk/people/radu.grigore/
Contributions
POPL 2016-profile
View general profile
View general profile
Registered user since Wed 1 Jul 2015
Contributions