Dr Oliva has a BSc in Computer Science from the Federal University of Pernambuco (Brazil), and a PhD in Theoretical Computer Science from the University of Aarhus (Denmark). He is a world-leading figure in Mathematical Logic and Proof Theory, with over 50 internationally recognised research paper. At Queen Mary University of London (QMUL), Paulo is currently the Director of Outreach, and the leader in the final year Web Programming module and the MSc Functional Programming module. He is also a keen programmer, having won the 2nd place in the ACM ICPC South-American regional in 1997 and 1998, and he is currently the main organiser of QMUL's annual programming competition.