Scholar
Alexandra Silva
Google Scholar ID: Vgu38TgAAAAJ
Cornell University
Citations & Impact
Citations
1,809
H-index
24
i10-index
55
Publications
20
Co-authors
118
list available
Publications
Cited
0
Cited
0
Resume (English only)
Academic Achievements
- Co-organizing OPLSS with an amazing lineup of speakers; teaching courses on Kleene Algebra with Tests (KAT) and verification at CMMRS 2025 and Summer School Marktoberdorf 2025; giving a keynote talk at VMCAI on recent results in Outcome Logic, a project led by her graduate student Noam Zilberstein.
Research Experience
- Previously a Royal Society Wolfson Fellow and Professor of Algebra, Semantics, and Computation at University College London; currently a Professor in the Computer Science Department at Cornell University; part of her research group is still based at UCL.
Background
- Professor of Computer Science; research interests include the modular development of specification languages and algorithms for models of computation; her work is largely developed from the unifying perspective offered by coalgebra.
Miscellany
- Webpage gathers all information about her research, including publications and talks; works with an amazing group of students and post-docs on a range of projects; her personal website is powered by Jekyll and AcademicPages, a fork of Minimal Mistakes.
