Alexandra Silva
Jump to navigation
Jump to search
Alexandra Silva | |
|---|---|
| Born | Alexandra Martins da Silva February 1984 (age 42) |
| 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 F-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]
Awards and honours
[edit | edit source]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]
References
[edit | edit source]- ^ a b Alexandra Silva publications indexed by Google ScholarLua error in Module:EditAtWikidata at line 29: attempt to index field 'wikibase' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value). Free access icon
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
Lua error in Module:Authority_control at line 153: attempt to index field 'wikibase' (a nil value).
.svg){kind=link}
