Alexandra Silva | |
---|---|
Born | Alexandra Martins da Silva February 1984 (age 40) |
Alma mater | University of Minho Radboud University Nijmegen (PhD)[2] |
Awards | Philip Leverhulme Prize (2016) Presburger Award (2017) Roger Needham Award (2018) Royal Society Wolfson Fellowship (2019) |
Scientific career | |
Fields | Computer science Programming Languages Semantics Coalgebra Formal methods[1] |
Institutions | Cornell University |
Thesis | Kleene coalgebra (2010) |
Doctoral advisor | Jan Rutten and Marcello Bonsangue |
Website | alexandrasilva |
Alexandra Silva (born 1984) is a Portuguese computer scientist and Professor at Cornell University. She was previously Professor of Algebra, Semantics, and Computation at University College London.[3][1][4]