Alexandra Silva

ORCID iD
https://orcid.org/0000-0001-5014-9784

Biography

I am a Professor of Algebra, Semantics, and Computation at the Programming Principles, Logic and Verification Group, Computer Science Department, University College London.

Record last modified Jul 17, 2018 9:18:53 AM