VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
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

Contributions

Show activities from other conferences

POPL 2016-profile
View general profile