kids encyclopedia robot

Alexandra Silva facts for kids

Kids Encyclopedia Facts
Quick facts for kids
Alexandra Silva
Born
Alexandra Martins da Silva

February 1984 (age 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 in 1984) is a brilliant computer scientist from Portugal. She is a Professor at Cornell University, a well-known school. Before that, she taught at University College London. She studies how computer programs work and how to make them more reliable.

About Alexandra Silva

Alexandra Silva was born in 1984 in Chaves, Portugal. She went to the University of Minho and earned her PhD from Radboud University Nijmegen. Her work focuses on different areas of computer science. She helps us understand the rules and meanings behind computer languages. This helps make sure computer programs do exactly what they are supposed to do.

Her Amazing Awards

Alexandra has won several important awards for her contributions to computer science.

  • In 2016, she received the Philip Leverhulme Prize in engineering.
  • In 2017, she won the Presburger Award. This award is given to a young scientist for excellent work in theoretical computer science.
  • She also won the Roger Needham Award in 2018.
  • In 2019, she was awarded a Royal Society Wolfson Fellowship. These awards show how important and impactful her research is in the world of computers.
kids search engine
Alexandra Silva Facts for Kids. Kiddle Encyclopedia.