معرفی
Alexandra Silva is a Professor of Computer Science at Cornell University, with a research group partially based at University College London (UCL) where she previously held a Royal Society Wolfson Fellowship. She is deeply involved in academic leadership, serving on program committees for conferences like ECOOP and POPL, and organizing workshops at venues such as VMCAI and PLDI. Her research spans formal methods, probabilistic programming, and coalgebraic modeling, with applications in network verification and concurrent systems.
- Key Research Themes: Kleene Algebra with Tests (KAT), coalgebraic semantics, probabilistic program verification, network control plane analysis, and categorical approaches to formal methods.
- Collaborations: Active collaborations with institutions including Cornell, UCL, University of Leicester, and INRIA Rhone-Alpes.
Scientific Awards:
- Distinguished Paper Award at POPL 2020
Advising: Currently advising eight PhD students, including Tiago Ferreira and Noam Zilberstein, with a broader team of postdocs, alumni, and collaborators.
۰مقاله منتشرشده
