Alexandra Silva
| Use attributes for filter ! | |
| Gender | Female |
|---|---|
| Citations | 1,416 |
| Thesis | Kleene |
| Alma maters | University of Minho - Campus of Gualtar |
| Radboud University Nijmegen | |
| Fields | Computer Science |
| F-coalgebra | |
| Semantics | |
| Formal methods | |
| Logic | |
| Institution | University College London |
| Official site | alexandrasilva.org |
| Born | Chaves |
| Portugal | |
| Affiliations | Cornell University |
| Awards | Philip Leverhulme Prize |
| Interests | Programming Languages |
| Semantics | |
| Coalgebra | |
| Verification | |
| Formal Methods | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1431385 |
Alexandra Silva Life story
Alexandra Silva is a Portuguese computer scientist and Professor at Cornell University. She was previously Professor of Algebra, Semantics, and Computation at University College London.
Alexandra Silva Photos
