Institution. University of Bath link · bath.ac.uk · ROR People Pedro H. Azevedo de Amorim pedrohaamorimLecturer · University of Bath PhD advisorDexter Kozen PhDCornell University pedrohaa.github.io · 0000-0002-8338-8973 Formerly here Jekaterina Novikova jekaterinanovikovaPrincipal AI Research Scientist · Vanguard jeknov.github.io · 0000-0003-4754-6126 · https://github.com/jeknov