معرفی
Alexandra Silva is a Professor of Computer Science at Cornell University and holds an affiliation with University College London (UCL), where she was previously a Royal Society Wolfson Fellow and Professor of Algebra, Semantics, and Computation. Her research focuses on the modular development of specification languages and algorithms for computational models, leveraging coalgebraic methods and probabilistic systems.
Education and Background: Silva's academic journey includes a Ph.D. in Theoretical Computer Science from Radboud University Nijmegen, supervised by Prof. Jan Rutten and Dr. Marcello Bonsangue. Her work bridges algebraic foundations with practical applications in programming languages and formal methods.
Research Interests: Silva's work spans formal methods, automata theory, probabilistic programming, and concurrency. She has pioneered frameworks like NetKAT and Guarded Kleene Algebra with Tests (GKAT), advancing network verification and program analysis. Her research emphasizes coalgebraic semantics, automata learning, and categorical approaches to computation.
Awards and Recognition: Silva is a Royal Society Wolfson Fellow and has received multiple best paper awards, including for contributions to NetKAT and GKAT. Her work on Outcome Logic and probabilistic systems has been widely cited in the field of program verification.
Grants and Collaboration: Silva leads collaborative projects on formal methods and network verification, supported by grants from NSF and EU initiatives. She co-organizes conferences like OPLSS and serves on program committees for POPL, CAV, and CONCUR.
Labs and Teams: Her research group includes students and postdocs working on projects in probabilistic automata, concurrency theory, and applied formal methods. Key collaborators include Nate Foster, Dexter Kozen, and Fabio Zanasi.
