Alexandra Silva
Portuguese computer scientist
From Wikipedia, the free encyclopedia
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]
Born
February 1984 (age 42)
Alexandra Martins da Silva
February 1984 (age 42)
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 42) |
| 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 |
Awards and honours
Silva won a Philip Leverhulme Prize in engineering in 2016.[5] 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.[6]
.svg){kind=small}
