Registered user since Sat 11 Jun 2016
Name:Alexandra Silva
Country:United Kingdom
Affiliation:University College London
Personal website:http://www.alexandrasilva.org/
Contributions
| PLMW 2018 | Committee Member in Organizers within the PLMW-track | ||||||||||||||||||||||||||||||||||||||||
| PPS 2018 | Probabilistic Program Equivalence for NetKAT | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2018-profile
View general profile
View general profile