Alexandra Silva

Professor Alexandra Silva is a faculty member in the Department of Computer Science at University College London. Her academic rank is Professor of Algebra, Semantics, and Computation.

Her research spans Theory of Computation, Pure Mathematics, Artificial Intelligence, and Software Engineering, with a focus on formal methods and symbolic computation. She has contributed extensively to probabilistic programming, network verification, and automata theory.

In recent years (2025 and 2024), her work has centered on formal verification, probabilistic systems, and symbolic execution. Key trends include applications of algebraic structures, logic in computer science, and automata theory.

While no explicit scientific awards are listed in the provided text, her collaborative work with researchers like Kozen, Jacobs, and Hsu underscores her influence in theoretical computer science.