University Research Fellow, Royal Society
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. For more details check my CV.
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
Office CS/426
paulo DOT oliva AT eecs DOT qmul DOT ac DOT uk
+44 (0) 207 882 5255 (phone)
+44 (0) 208 980 6533 (fax)
School of Electronic Engineering and Computer Science
Queen Mary, University of London
Mile End Road
London E1 4NS, UK