Institution. Queen Mary University of London

link · qmul.ac.uk · ROR

People

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

PhD alumni

Jules Hedges juleshedgesIndependent researcher · Glasgow Lab for AI Verification
PhD advisorEdmund Robinson, Paulo Oliva
PhDQueen Mary University of London
julesh.com · jules-hedges

Formerly here

Mehrnoosh Sadrzadeh mehrnooshsadrzadehReader · University College London
0000-0002-5863-7835
queen-mary-university-of-london institution entries/institutions/queen-mary-university-of-london.hel