Write a Blog >>
Alexandra Silva

Registered user since Sat 11 Jun 2016

Name: Alexandra Silva

Bio: I am a senior lecturer at the Programming Principles, Logic and Verification Group, University College London.My main research focuses on the modular development of specification languages and algorithms for models of computations. A lot of my work is developed from the unifying perspective offered by coalgebra, a mathematical framework established in the last decades.

Affiliation: Radboud University Nijmegen

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


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
Show activities from other conferences

POPL 2016-profile
View general profile