| Alexandra Silva | |
| Birth Name: | Alexandra Martins da Silva |
| Birth Place: | Chaves, Portugal |
| Thesis Url: | http://hdl.handle.net/2066/83205 |
| Thesis Title: | Kleene coalgebra |
| Thesis Year: | 2010 |
| Field: | Computer science Programming Languages Semantics F-Coalgebra Formal methods |
| Work Institutions: | Cornell University |
| Alma Mater: | University of Minho Radboud University Nijmegen (PhD)[1] |
| Doctoral Advisor: | Jan Rutten and Marcello Bonsangue |
| Prizes: | Philip Leverhulme Prize (2016) Presburger Award (2017) Roger Needham Award (2018) Royal Society Wolfson Fellowship (2019) |
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.[2] [3]
Silva won a Philip Leverhulme Prize in engineering in 2016.[4] She won the Presburger Award, awarded each year to "a young scientist for outstanding contributions in theoretical computer science, documented by a published paper or a series of published papers", in 2017, and the Roger Needham Award in 2018.[5]