image

Alexandra @ Bellairs 2014

image

Alexandra @ inaugural 2018

Short Bio

I am a Royal Society Wolfson Fellow and Professor of Algebra, Semantics, and Computation at the Programming Principles, Logic and Verification Group, University College London. In 2017-2018, I was the Departmental Tutor of the Computer Science Department.

This webpage gathers all the information about my research, including my publications and talks. You can read about me, my professional activities, check where I am at the moment and download my CV.

I am very fortunate to work an amazing group of students and post-docs in a range of projects!

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.

News

More ยป

Contact

  •   alexandra.silva at ucl dot ac dot uk (work)
  •   alexandra.silva at gmail dot com (private)
  •  +44 (0) 20 3108 7156 (internal: 57156)

  •  Visiting address:
    UCL Department of Computer Science
    Room 3.11
    Gower Street 66-72, London WC1E 6BT

  •  Surface mail address:
    Department of Computer Science
    University College London
    Gower Street
    London WC1E 6BT
    United Kingdom