Alexandra Silva

Alexandra Silva
Born
Alexandra Martins da Silva

February 1984 (age 40)
Chaves, Portugal
Alma materUniversity of Minho
Radboud University Nijmegen (PhD)[2]
AwardsPhilip Leverhulme Prize (2016)
Presburger Award (2017)
Roger Needham Award (2018)
Royal Society Wolfson Fellowship (2019)
Scientific career
FieldsComputer science
Programming Languages
Semantics
F-Coalgebra
Formal methods[1]
InstitutionsCornell University
ThesisKleene coalgebra (2010)
Doctoral advisorJan Rutten and Marcello Bonsangue
Websitealexandrasilva.org

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

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

  1. ^ a b Alexandra Silva publications indexed by Google Scholar Edit this at Wikidata
  2. ^ Silva, Alexandra (2010). Kleene coalgebra (PDF). ru.nl (PhD thesis). 694079062. hdl:2066/83205. OCLC 694079062. Free access icon
  3. ^ Silva, Alexandra (2017). "Alexandra Silva CV" (PDF). alexandrasilva.org. Archived from the original (PDF) on 2017-10-03.
  4. ^ "Alexandra Silva". www.cs.ucl.ac.uk. 2018-08-20.
  5. ^ "Dr Alex Silva awarded prestigious Leverhulme Trust Award". Computer Science News. University College London. 28 October 2016. Retrieved 2019-09-04.
  6. ^ Anon (2018). "Computer Science News: Alexandra Silva Receives BCS Roger Needham Award 2018". Retrieved 2018-08-30.


P ≟ NP 

This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it.

Flag of PortugalScientist icon

This article about a Portuguese scientist is a stub. You can help Wikipedia by expanding it.