Alexandra Silva - Alexandra Silva

Alexandra Silva
narozený
Alexandra Martins da Silva

Únor 1984 (věk 36)
Chaves, Portugalsko
Alma materUniversity of Minho
Radboud University Nijmegen (PhD)[1]
OceněníCena Philipa Leverhulma (2016)
Presburger Award (2017)
Cena Rogera Needhama (2018)
Royal Society Wolfson Fellowship (2019)
Vědecká kariéra
PolePočítačová věda
Programovací jazyky
Sémantika
Coalgebra
Formální metody[2]
InstituceUniversity College v Londýně
TezeKleene Coalgebra  (2010)
Doktorský poradceJan Rutten a Marcello Bonsangue
webová stránkaalexandrasilva.org

Alexandra Silva (narozen 1984) je Portugalčan počítačový vědec a profesor algebry, sémantiky a výpočtu na University College v Londýně.[3][2][4]

Ocenění a vyznamenání

Silva vyhrál a Cena Philipa Leverhulma ve strojírenství v roce 2016.[5] Získala Presburger Award, oceněný každý rok „mladému vědci za vynikající zásluhy v teoretické informatice, dokumentovaný publikovanou prací nebo řadou publikovaných prací“, v roce 2017 a Cena Rogera Needhama v roce 2018.[6]

Reference

  1. ^ Silva, Alexandra (2010). Kleene Coalgebra (PDF). ru.nl (Disertační práce). 694079062. hdl:2066/83205. OCLC  694079062. Zdarma ke čtení
  2. ^ A b Alexandra Silva publikace indexované podle Google Scholar Upravte to na Wikidata
  3. ^ Silva, Alexandra (2017). „Alexandra Silva CV“ (PDF). alexandrasilva.org. Archivovány od originál (PDF) dne 2017-10-03.
  4. ^ "Alexandra Silva". www.cs.ucl.ac.uk. 2018-08-20.
  5. ^ „Dr. Alex Silva oceněn prestižní cenou Leverhulme Trust Award“. Zprávy z informatiky. University College v Londýně. 28. října 2016. Citováno 2019-09-04.
  6. ^ Anon (2018). „Zprávy z informatiky: Alexandra Silva získala cenu BCS Rogera Needhama 2018“. Citováno 2018-08-30.