Posts

This is a test

I have joined University College London
Invited speaker at LATA'20
ERC Starting Grant "Advanced Reasoning in Arithmetic Theories"
Two papers at LICS'19