Alexandra Silva

Registered user since Sat 11 Jun 2016

Name: Alexandra Silva

Country: United Kingdom

Affiliation: University College London

Personal website: http://www.alexandrasilva.org/

Contributions

APLAS 2019ordinary PC member in Program Committee within the Regular paper-track
OPCT 2019Committee Member in Organizing Committee within the OPCT 2019-track
ESOP 2019Committee Member in Program Committee within the ESOP 2019-track
PLMW 2018Committee Member in Organizers within the PLMW-track
PPS 2018Author of Probabilistic Program Equivalence for NetKAT within the PPS 2018-track
FSCD 2017invited speaker of Brzozowski Goes Concurrent -- A Kleene Theorem for Pomset Languages within the FSCD 2017-track
ICFP 2017Session Chair of Applications (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
PPS 2017Committee Member in Program Committee within the PPS-track
PLMWAuthor of Student Interaction Activity within the PLMW-track
Committee Member in Program Committee within the PLMW-track
POPL 2017Author of Learning nominal automata within the POPL-track
Author of Cantor Meets Scott: Semantic Foundations for Probabilistic Networks within the POPL-track
ERC member in External Review Committee within the POPL-track
Session Chair of Logic (part of POPL)
PLDI 2017Committee Member in Program Committee
PPS 2016Author of Coalgebraic Trace Semantics for Probabilistic Processes: Preliminary Proposal within the PPS 2016-track
PLMWAuthor of Automata and Coinduction within the PLMW-track
POPL 2016Committee Member in Program Committee
Session Chair of Track 2: Foundations of Model Checking (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track