Dr Paulo Oliva

Reader in Mathematical Logic
Director of Outreach / Programme Director for Computer Science and Mathematics
School of Electronic Engineering and Computer Science
Queen Mary University of London
Queen Mary University of London
Research
mathematical logic, proof theory, formal verification, algorithms
Interests
My main area of research is in mathematical logic and proof theory. In particular, I am interested in the computational content of mathematical proofs. What do theorems tell us, apart from the truth they convey? How can proofs be viewed as programs, so as to be executed, and how can programs be viewed as proofs, so that their correctness can be automatically checked? These questions become highly non-trivial when proofs involve classical logic, induction and analytical principles such as countable choice and WKL.Recently, I have also been working on the application of formal verification to the domain of continuous systems. More precisely, developing 'Hoare logic' systems in order to prove properties of systems in the continuous time domain.
My early research career was on the topic of algorithms. That was the time when I was taking part in the ACM ICPC (International Collegiate Programming Challenge). My first paper was on pattern matching algorithms, jointly written with K. Guimaraes and E. W. Myers.
Publications

2023

Escardó M and Oliva P
Theoretical Computer Science, Elsevier vol. 974
01-09-2023
2021

Arthan R and Oliva P
Journal of Logic and Analysis, Journal of Logic and Analysis vol. 13
31-12-2021

Oliva P and Zahn P
Games vol. 12 (4)
01-12-2021

Dinis B and Oliva P
Annals of Pure and Applied Logic, 102940-102940.
07-01-2021
2020

Oliva P and Arthan R
Studia Logica: An International Journal For Symbolic Logic, Springer Verlag
25-05-2020

Andrew L-S, Oliva P and Robinson E
Studia Logica: An International Journal For Symbolic Logic, Springer Verlag
21-04-2020

Oliva P and Xu C
Mathematical Logic Quarterly, Wiley vol. 66 (1), 91-98.
01-03-2020
2019

Berardi S, Oliva P and Steila S
Journal of Logic and Computation vol. 29 (4), 555-575.
01-08-2019
2018

BORGES OLIVA P and Steila S
The Journal of Symbolic Logic, Association For Symbolic Logic
12-02-2018
2017

BORGES OLIVA P and Escardo M
The Journal of Symbolic Logic, Association For Symbolic Logic
19-06-2017

Hedges J, Oliva P, Shprits E, Winschel V and Zahn P
In Algorithmic Decision Theory, Springer Nature 241-254.
01-01-2017
2016

Hedges J, Oliva P, Shprits E, Winschel V and Zahn P
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES.
17-12-2016

Oliva P and Powell T
Annals of Pure and Applied Logic vol. 168 (5), 887-921.
09-11-2016
2015

BORGES OLIVA P and Powell T
In Gentzen's Centenary The Quest For Consistency, Springer, Editors: Kahle R and Rathjen M.
14-06-2015

ESCARDÓ M and OLIVA P
Journal of Symbolic Logic, Cambridge University Press (Cup) vol. 80 (1), 1-28.
01-03-2015
2014

OLIVA P and POWELL T
Mathematical Structures in Computer Science, Cambridge University Press (Cup) vol. 25 (8), 1755-1778.
13-11-2014

Oliva P
Electronic Proceedings in Theoretical Computer Science, Open Publishing Association vol. 164
09-09-2014

Berardi S, Oliva P and Steila S
01-01-2014
2013

Arthan R and Oliva P
In Automated Reasoning and Mathematics, Springer Nature 165-180.
01-01-2013
2012

Ferreira G and Oliva P
In Logic, Construction, Computation, De Gruyter 227-258.
31-12-2012

Escardo M and Oliva P
Annals of Pure and Applied Logic vol. 163 (6), 681-692.
01-01-2012

Ferreira G and Oliva P
Annals of Pure and Applied Logic vol. 163 (8), 1030-1049.
01-01-2012

Oliva P and Powell T
Mathematical Logic Quarterly vol. 58 (4-5)
01-01-2012
2011

Escardo M and Oliva P
Proceedings of The Royal Society A vol. 467 (2130), 1519-1545.
08-06-2011

Oliva P, Arthan R and Martin U
Formal Aspects of Computing: Applicable Formal Methods, Springer London
01-05-2011

Oliva P and Ferreira G
Logical Methods in Computer Science, Institute of Theoretical Computer Science vol. 7 (1.9), 1-22.
01-03-2011
2010

Gaspar J and Oliva P
Math Logic Quart vol. 56 (6), 591-610.
01-12-2010

Escardó M and Oliva P
Mathematically Structured Functional Programming.
01-08-2010

Escardo M and Oliva P
Domains IX Brighton, UK 22 Sep 2008 - 24 Sep 2008.
01-04-2010

Oliva P
Journal of Logic and Computation, Oxford Journals
09-02-2010

Oliva P
Journal of Logic and Computation, Oxford Journals vol. 22 (2), 305-328.
01-01-2010

Ferreira G and Oliva P
Mathematical Logic Quarterly vol. 56 (1), 13-28.
01-01-2010

Escardó M and Oliva P
Computability in Europe Azores.
01-01-2010

Escardó M and Oliva P
Computability in Europe Azores.
01-01-2010
2009

Ferreira G and Oliva P
Computer Science Logic Coimbra, Portugal.
01-01-2009
2008

Arthan R, Martin U, Mathiesen EA and Oliva P
Acm Transactions On Computational Logic, 11(1), 2009
07-07-2008

Hernest MD and Oliva P
, Editors: Beckmann A, Dimitracopoulos C and Lowe B.
01-01-2008

Oliva P and Streicher T
01-01-2008

Oliva P
Dialectica vol. 62 (2), 269-290.
01-01-2008
2007

Ferreira F and Oliva P
Ann Pure Appl Logic vol. 145 (2), 115-129.
01-02-2007

Oliva P
, Editors: Leivant D and DeQueiroz R.
01-01-2007

Arthan R, Martin U, Mathiesen EA and Oliva P
, Editors: Hinchey M and Margaria T.
01-01-2007
2006

Oliva P
Notre Dame Journal of Formal Logic vol. 47 (2), 263-290.
01-07-2006

Oliva P
, Editors: Beckmann A, Berger U, Lowe B and Tucker JV.
01-01-2006
2005

Ferreira F and Oliva P
Ann Pure Appl Logic vol. 135 (1-3), 73-112.
01-09-2005

Berger U and Oliva P
, Editors: Baaz M, Friedman SD and Krajicek J.
01-01-2005
2003

Kohlenbach U and Oliva P
Ann Pure Appl Logic vol. 121 (1), 1-38.
15-05-2003

Oliva P and Kohlenbach U
Proc. Steklov Inst. Math vol. 242, 136-164.
01-01-2003
2002
1998

Myers EW, Oliva P and Guimarães K
01-01-1998