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 41) Chaves, Portugal
Alma mater	University of Minho Radboud University Nijmegen (PhD)[1]
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[2]
Institutions	Cornell University
Thesis	Kleene coalgebra (2010)
Doctoral advisor	Jan Rutten and Marcello Bonsangue
Website	alexandrasilva.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]