Alexandra Silva
From Wikipedia, the free encyclopedia
Born
February 1984 (age 41)
Alexandra Martins da Silva
February 1984 (age 41)
AlmamaterUniversity of Minho
Radboud University Nijmegen (PhD)[1]
Radboud University Nijmegen (PhD)[1]
AwardsPhilip Leverhulme Prize (2016)
Presburger Award (2017)
Roger Needham Award (2018)
Royal Society Wolfson Fellowship (2019)
Presburger Award (2017)
Roger Needham Award (2018)
Royal Society Wolfson Fellowship (2019)
Alexandra Silva | |
|---|---|
| Born | Alexandra Martins da Silva February 1984 (age 41) |
| Alma mater | University of Minho Radboud University Nijmegen (PhD)[1] |
| 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[2] |
| 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][2][4]
