Alexandra Silva
Alexandra Silva | |
|---|---|
| Born | Alexandra Martins da Silva February 1984 (age 41) |
| Alma mater | University of Minho Radboud University Nijmegen (PhD) |
| 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 F-Coalgebra Formal methods |
| 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.