
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 | Author of Probabilistic Program Equivalence for NetKAT within the PPS 2018-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2018-profile
View general profile
View general profile