This is a test

Two papers at ETAPS'21
Two papers at ICALP'20
I'm serving on the Beth dissertation prize committee
I'm co-organising the 1st Imperial - UCL Verification Meeting
PC member of HIGHLIGHTS'20
I have joined University College London
Invited speaker at LATA'20
ERC Starting Grant "Advanced Reasoning in Arithmetic Theories"
Two papers at LICS'19