Alexandra Silva

Alexandra Silva
Born
Alexandra Martins da Silva

February 1984 (age 42)
Chaves, Portugal
EducationUniversity of Minho
Radboud University Nijmegen (PhD)
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
WorkplacesCornell University
ThesisKleene coalgebra (2010)
Jan 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.

Awards and honours

Silva won a Philip Leverhulme Prize in engineering in 2016. 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.

References

  1. ↑ Silva, Alexandra (2010). Kleene coalgebra (PDF). ru.nl (PhD thesis). 694079062. hdl:2066/83205. OCLC 694079062. Free access icon
  2. 1 2 Alexandra Silva publications indexed by Google Scholar Edit this at Wikidata
  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.