Alexandra Silva
Alexandra Silva
ụdịekere | nwanyị |
---|---|
mba o sị | Portugal |
aha enyere | Alexandra |
aha ezinụlọ ya | Silva |
ụbọchị ọmụmụ ya | 1984 |
Ebe ọmụmụ | Chaves |
Asụsụ obodo | Portuguese |
asụsụ ọ na-asụ, na-ede ma ọ bụ were na-ebinye aka | Portuguese |
ọrụ ọ na-arụ | ọkà mmụta sayensị kọmputa |
ụdị ọrụ ya | computer science |
onye were ọrụ | University College London |
ebe agụmakwụkwọ | University of Minho, Radboud University Nijmegen |
onye ndụmọdụ doctoral | Jan Rutten, Marcello Maria Bonsangue |
doctoral student | Young-Joo Moon, Georgiana Caltais, Joshua Samuel Moerman |
Onye òtù nke | UK Computing Research Committee |
Ihe nrite | Presburger Award, Roger Needham Award, Philip Leverhulme Prize, Mulheres na Ciência |
webụsaịtị | http://www.alexandrasilva.org |
WikiProject na-elekọta ya | WikiProject Mathematics |
Alexandra Silva (amụrụ 1984) bụ ọkà mmụta sayensị kọmputa nke Pọtugal na Prọfesọ na Mahadum Cornell . Ọ bụbu Prọfesọ nke Algebra, Semantics, na Computation na Mahadum Mahadum London . [1] [2]
Ihe nrite na nkwanye ugwu
dezieSilva meriri Philip Leverhulme Prize na injinia na 2016. [3] Ọ meriri ihe nrite Presburger, nke a na-enye kwa afọ nye "onye ọkà mmụta sayensị na-eto eto maka ntinye pụtara ìhè na sayensị kọmputa, nke akwụkwọ e bipụtara ma ọ bụ usoro akwụkwọ akụkọ bipụtara", na 2017, na Roger Needham Award na 2018. [4]
Edensibia
dezie- ↑ Silva (2017). Alexandra Silva CV. alexandrasilva.org. Archived from the original on 2017-10-03.
- ↑ Alexandra Silva. www.cs.ucl.ac.uk (2018-08-20).
- ↑ Dr Alex Silva awarded prestigious Leverhulme Trust Award. Computer Science News. University College London (28 October 2016). Retrieved on 2019-09-04.
- ↑ Anon (2018). Computer Science News: Alexandra Silva Receives BCS Roger Needham Award 2018. Retrieved on 2018-08-30.