Dr. Paulo Oliva is a computer scientist specialising in mathematical logic and proof theory. His research focuses on the computational content of mathematical proofs, with contributions to areas such as proof interpretations, constructive mathematics, and the semantics of computation. He has authored over 70 peer-reviewed publications in leading international venues.

He is a Reader (Associate Professor) at Queen Mary University of London (QMUL) , where he teaches modules including final-year Web Programming and MSc Functional Programming. He also serves as the department's Director of Outreach.

Dr. Oliva has a strong background in competitive programming, having achieved second place in the ACM ICPC South American regional competitions in 1997 and 1998. He is currently the main organiser of QMUL’s annual programming competition, promoting algorithmic thinking and student engagement.

He obtained his BSc in Computer Science from the Federal University of Pernambuco (Brazil), and his PhD in Theoretical Computer Science from the University of Aarhus (Denmark).