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

Blog

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)

Address

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