Alexandra Silva
Jump to navigation
Jump to search
Alexandra Silva | |
|---|---|
| Born | Alexandra Martins da Silva February 1984 (age 39) |
| 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 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]
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]
References
- ^ Silva, Alexandra (2010). Kleene coalgebra (PDF). ru.nl (PhD thesis). 694079062. hdl:2066/83205. OCLC 694079062.
- ^ a b {{Google Scholar ID}} template missing ID and not present in Wikidata.
- ^ 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. 2018-08-20.
- ^ "Dr Alex Silva awarded prestigious Leverhulme Trust Award". Computer Science News. University College London. 28 October 2016. Retrieved 2019-09-04.
- ^ Anon (2018). "Computer Science News: Alexandra Silva Receives BCS Roger Needham Award 2018". Retrieved 2018-08-30.
  | This article about a Portuguese scientist is a stub. You can help Justapedia by expanding it. |
Categories:
- Articles with short description
- Short description with empty Wikidata description
- Articles without Wikidata item
- Articles with hCards
- AC with 0 elements
- 1984 births
- Living people
- Portuguese computer scientists
- Portuguese women computer scientists
- Women logicians
- University of Minho alumni
- All stub articles
- Computer scientist stubs
- Portuguese scientist stubs