| 词条 | Alexandra Silva |
| 释义 |
|name = Alexandra Silva |birth_name = Alexandra M. Silva |birth_date = {{birth year and age|1984}} |birth_place = |thesis_url = http://hdl.handle.net/2066/83205 | thesis_title = Kleene coalgebra | thesis_year = 2010 |field = Computer science Coalgebra Semantics Formal methods Logic[1] |work_institutions = University College London |alma_mater = University of Minho Radboud University Nijmegen (PhD)[2] |doctoral_advisor = |doctoral_students = |known_for = |prizes = Presburger Award (2017) Roger Needham Award (2018) |religion = |signature = |website = {{URL|alexandrasilva.org}} }}Alexandra Silva (born 1984) is a Portuguese computer scientist and Professor of Algebra, Semantics, and Computation at University College London.[3][1][4] Awards and honoursSilva 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.[5] References1. ^1 {{Google scholar id}} {{Authority control}}{{DEFAULTSORT:Silva, Alexandra}}{{compu-scientist-stub}}2. ^{{cite thesis|title=Kleene coalgebra|first=Alexandra|last=Silva|year=2010|degree=PhD|hdl=2066/83205|oclc=694079062|publisher=694079062|url=https://repository.ubn.ru.nl/bitstream/handle/2066/83205/83205.pdf|website=ru.nl}} {{free access}} 3. ^{{cite web|archiveurl=https://web.archive.org/web/20171003125427/http://www.alexandrasilva.org/files/cv.pdf|archivedate=2017-10-03|url=http://www.alexandrasilva.org/files/cv.pdf|website=alexandrasilva.org|first=Alexandra|last=Silva|year=2017|title=Alexandra Silva CV}} 4. ^{{cite web|url=http://www.cs.ucl.ac.uk/people/A.Silva.html|title=Alexandra Silva|website=www.cs.ucl.ac.uk}} 5. ^{{cite web |author=Anon|year=2018|title=Computer Science News: Alexandra Silva Receives BCS Roger Needham Award 2018 |url=http://www.cs.ucl.ac.uk/news/article/alexandra_silva_receives_bcs_roger_needham_award_2018/ |accessdate=2018-08-30}} 5 : 1974 births|Living people|Portuguese computer scientists|Portuguese women computer scientists|University of Minho alumni |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。