Paulo Oliva

Dr. Paulo Oliva is a Reader in Mathematical Logic at Queen Mary University of London's School of Electronic Engineering and Computer Science. He serves as Director of Outreach and Programme Director for Computer Science and Mathematics. His expertise spans System Verification, Game Theory, Formal Logic, and Constructive Mathematics. He holds a PhD in Theoretical Computer Science and has contributed to advancing the computational interpretation of proofs and formal verification in continuous systems.

Research interests include mathematical logic, proof theory, and their applications in algorithm design and verification. He has collaborated on foundational topics like bar recursion, game-theoretic models, and decision procedures. Recent work focuses on higher-order games, dependent types, and probabilistic theorems such as Borel-Cantelli lemmas.

Publications highlight contributions to logic systems, automated theorem proving, and interdisciplinary applications of game theory. He is affiliated with Queen Mary's Centre for Fundamental Computer Science, driving research in theoretical and applied computer science.