Person. Paulo Oliva Reader in Mathematical Logic · Queen Mary University of London · paulooliva.github.io · 0000-0002-0492-4855 PhD advisorUlrich Kohlenbach PhD studentsJules Hedges PhDAarhus University UndergraduateUniversidade Federal de Pernambuco