ETAPS 2019 (series) / Luca Cardelli
![Luca Cardelli](https://conf.researchr.org/getProfileImage/lucacardelli/9a54e875-fd76-45db-abf6-4139f0d15498/small.jpg?1711868518000)
Registered user since Thu 22 Oct 2015
Name:Luca Cardelli
Country:United Kingdom
Affiliation:Microsoft Research and University of Oxford
Personal website: http://lucacardelli.name/
Contributions
ETAPS 2019-profile
View general profile
View general profile