Alexandra Silva (nacida en 1984) es una científica informática portuguesa y profesora de álgebra, semántica y computación en el University College de Londres . [3] [2] [4]
Alexandra Silva | |
---|---|
Nació | Alexandra Martins da Silva Febrero de 1984 (37 años) |
alma mater | Universidad de Minho Radboud University Nijmegen (PhD) [1] |
Premios | Premio Philip Leverhulme (2016) Premio Presburger (2017) Premio Roger Needham (2018) Beca Wolfson de la Royal Society (2019) |
Carrera científica | |
Campos | Informática Lenguajes de programación Semántica Coalgebra Métodos formales [2] |
Instituciones | University College de Londres |
Tesis | Kleene coalgebra (2010) |
Asesor de doctorado | Jan Rutten y Marcello Bonsangue |
Sitio web | alexandrasilva |
Premios y honores
Silva ganó un premio Philip Leverhulme en ingeniería en 2016. [5] Ella ganó el premio Presburger , otorgado cada año a "un joven científico por contribuciones destacadas en informática teórica, documentadas por un artículo publicado o una serie de artículos publicados", en 2017 y el premio Roger Needham en 2018. [6]
Referencias
- ↑ Silva, Alexandra (2010). Kleene coalgebra (PDF) . ru.nl (tesis doctoral). 694079062. hdl : 2066/83205 . OCLC 694079062 .
- ^ a b Publicaciones de Alexandra Silva indexadas por Google Scholar
- ^ Silva, Alexandra (2017). "CV de Alexandra Silva" (PDF) . alexandrasilva.org . Archivado desde el original (PDF) el 3 de octubre de 2017.
- ^ "Alexandra Silva" . www.cs.ucl.ac.uk . 2018-08-20.
- ^ "El Dr. Alex Silva recibió el prestigioso premio Leverhulme Trust Award" . Noticias de informática . University College de Londres. 28 de octubre de 2016 . Consultado el 4 de septiembre de 2019 .
- ^ Anon (2018). "Noticias de informática: Alexandra Silva recibe el premio BCS Roger Needham 2018" . Consultado el 30 de agosto de 2018 .