Paulo Oliva uses tools and techniques from Mathematics, and Mathematical Logic, in order to improve the development of Computer Programs. This includes verifying the correctness of existing code, and the discovery of novel ideas for more efficient algorithms. His research has also discovered a new exciting connection between Computing and Game Theory, as presented in his popular 2010 article published at the Proceedings of the Royal Society A.
He is currently a Reader in Mathematical Logic at Queen Mary University of London (QMUL), where he is also Director of Outreach. His team makes regular visits to schools in and around London, and has taken part in numerous science festivals. QMUL is also home to the award winning public engagement magazine/website cs4fn (http://www.cs4fn.org).
Paulo held a Royal Society University Research Fellowship between 2006 and 2014, and has served in the Royal Society Summer Science Exhibition committee since 2014.