Alexandra Silva

Alexandra Silva is a professor in the Department of Computer Science at Cornell University. Before joining the faculty at Cornell, she was a Royal Society Wolfson Fellow and Professor of Algebra, Semantics, and Computation at the Programming Principles, Logic and Verification Group, University College London.

She did her Ph.D. at the CWI under the supervision of Jan Rutten and Marcello Bonsangue. Her thesis, entitled Kleene coalgebra, was defended on Dec. 21, 2010 at the Radboud University, in Nijmegen and was awarded a cum laude distinction. 

Long time ago, Silva was an undergraduate student at University of Minho. She completed her five-year maths and computer science degree in May 2006. Her final project, Strong Types for Relational Data Stored in Databases or Spreadsheets, was supervised by J.N.Oliveira and Joost Visser.