stringtranslate.com

Alexandra Silva

Alexandra Silva (nacida en 1984) es una científica informática portuguesa y profesora de la Universidad de Cornell . Anteriormente fue profesora de Álgebra, Semántica y Computación en el University College de Londres . [3] [1] [4]

Premios y honores

Silva ganó un premio Philip Leverhulme en ingeniería en 2016. [5] Ganó el premio Presburger , otorgado cada año a "un científico joven por contribuciones sobresalientes 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

  1. ^ ab Alexandra Silva publicaciones indexadas por Google Scholar
  2. ^ Silva, Alexandra (2010). Coalgebra de Kleene (PDF) . ru.nl (tesis doctoral). 694079062. hdl :2066/83205. OCLC  694079062. Icono de acceso gratuito
  3. ^ Silva, Alexandra (2017). "Alexandra Silva CV" (PDF) . alexandrasilva.org . Archivado desde el original (PDF) el 2017-10-03.
  4. ^ "Alejandra Silva". www.cs.ucl.ac.uk. ​2018-08-20.
  5. ^ "El Dr. Alex Silva recibió el prestigioso premio Leverhulme Trust". Noticias de informática . University College London. 28 de octubre de 2016. Consultado el 4 de septiembre de 2019 .
  6. ^ Anónimo (2018). «Noticias de informática: Alexandra Silva recibe el premio Roger Needham de BCS 2018» . Consultado el 30 de agosto de 2018 .