![Alexandra Silva](https://popl16.sigplan.org/getProfileImage/alexandrasilva/fdfb34bf-9689-44f4-baf4-66b97a90d7a0/small.jpg?1711917604000)
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/
Contributions
2016
POPL
POPL 2016-profile
View general profile
View general profile