Alexandra Silva
Alexandra Silva | |
---|---|
Born |
Alexandra M. Silva 1984 (age 33–34) |
Alma mater |
University of Minho Radboud University Nijmegen (PhD)[1] |
Awards |
Presburger Award (2017) Roger Needham Award (2018) |
Scientific career | |
Fields |
Computer science Coalgebra Semantics Formal methods Logic[2] |
Institutions | University College London |
Thesis | Kleene coalgebra (2010) |
Website |
alexandrasilva |
Alexandra Silva (born 1984) is a Portuguese computer scientist and Professor of Algebra, Semantics, and Computation at University College London.[3][2][4]
Awards and honours
Silva 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]
References
- ↑ Silva, Alexandra (2010). Kleene coalgebra (PDF). ru.nl (PhD thesis). 694079062. hdl:2066/83205. OCLC 694079062.
- 1 2 Alexandra Silva publications indexed by Google Scholar
- ↑ Silva, Alexandra (2017). "Alexandra Silva CV" (PDF). alexandrasilva.org. Archived from the original (PDF) on 2017-10-03.
- ↑ "Alexandra Silva". www.cs.ucl.ac.uk.
- ↑ Anon (2018). "Computer Science News: Alexandra Silva Receives BCS Roger Needham Award 2018". Retrieved 2018-08-30.
This article is issued from
Wikipedia.
The text is licensed under Creative Commons - Attribution - Sharealike.
Additional terms may apply for the media files.