Institution. Universidade Federal de Pernambuco link · ufpe.br · ROR Undergraduate alumni Paulo Oliva pauloolivaReader in Mathematical Logic · Queen Mary University of London PhD advisorUlrich Kohlenbach PhD studentsJules Hedges PhDAarhus University UndergraduateUniversidade Federal de Pernambuco paulooliva.github.io · 0000-0002-0492-4855