Alexandra Silva
原名：
Alexandra Silva
|
别名：
出生：
(岁)
出生地：
Born：
Alexandra Martins da Silva, February 1984 (age 42), Chaves, Portugal
Awards：
Philip Leverhulme Prize (2016), Presburger Award (2017), Roger Needham Award (2018), Royal Society Wolfson Fellowship (2019)
Fields：
Computer science, Programming Languages, Semantics, F-Coalgebra, Formal methods
Thesis：
Kleene coalgebra (2010)
Website：
alexandrasilva.org
Alma mater：
University of Minho, Radboud University Nijmegen (PhD)
Institutions：
Cornell University
Doctoral advisor：
Jan Rutten and Marcello Bonsangue
个人简介
暂无 Alexandra Silva 的个人简介。
