Alexandra Silva facts for kids
Quick facts for kids
Alexandra Silva
|
|
---|---|
Born |
Alexandra Martins da Silva
February 1984 (age 40–41) Chaves, Portugal
|
Alma mater | University of Minho Radboud University Nijmegen (PhD) |
Awards | Philip Leverhulme Prize (2016) Presburger Award (2017) Roger Needham Award (2018) Royal Society Wolfson Fellowship (2019) |
Scientific career | |
Fields | Computer science Programming Languages Semantics F-Coalgebra Formal methods |
Institutions | Cornell University |
Thesis | Kleene coalgebra (2010) |
Doctoral advisor | Jan Rutten and Marcello Bonsangue |
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.
Black History Month on Kiddle
Famous African-American Artists:
![]() | Emma Amos |
![]() | Edward Mitchell Bannister |
![]() | Larry D. Alexander |
![]() | Ernie Barnes |
All content from Kiddle encyclopedia articles (including the article images and facts) can be freely used under Attribution-ShareAlike license, unless stated otherwise. Cite this article:
Alexandra Silva Facts for Kids. Kiddle Encyclopedia.