Paulo Oliva

Current Roles

University Research Fellow, Royal Society
Director of Outreach, EECS
Reader in Mathematical Logic, Queen Mary University of London
Secretary of the British Logic Colloquium

Curriculum Vitae

Here is a short summary of my academic career: In 1994 I received a technical degree in Electronics at the Federal Technical School of Pernambuco, Brazil. At the end of 1998 I finished my undergraduate studies in Computer Science at the Federal University of Pernambuco, Brazil. In the summer of 2003 I concluded my PhD in Computer Science at BRICS, Denmark. In the beginning of 2004 I moved to London, to work at Queen Mary, University of London. I am currently employed as a University Research Fellow of the Royal Society and Reader of Mathematical Logic at Queen Mary University of London. For more details check my CV.

Research Interests

Logic: mainly classic, intuitionistic, and linear logic
Proof Theory: mainly proof translations and interpretations
Mathematical Logic: mainly reverse mathematics and computable analysis

If you are interested in doing a PhD in theoretical computer science, please have a look at the PhD scholarships we have available


I'm starting to collect some of my favourite results in proof theory and mathematical logic in the blog proof theory abridged. Any feedback will be most welcome!

Contact details

Office CS/421A
p DOT oliva AT qmul DOT ac DOT uk
+44 (0) 207 882 5255 (phone)
+44 (0) 208 980 6533 (fax)


Queen Mary, University of London
School of Electronic Engineering and Computer Science
Peter Landing Building
10 Godward Square
E1 4FZ, UK