Alexandra Silva

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]

Alexandra Silva
Born
Alexandra Martins da Silva

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

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. Silva, Alexandra (2010). Kleene coalgebra (PDF). ru.nl (PhD thesis). 694079062. hdl:2066/83205. OCLC 694079062. icon of an open green padlock
  2. Alexandra Silva publications indexed by Google Scholar
  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.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.