News: I recently started my second postdoc in Cambridge. See my Research Associate website and also my personal website on

I am working as a postdoc on Mai Gehrke’s project DuaLL and I am a member of the research group called Dualité de Stone, langages formels et logique.

Contact e-mail:

This website gathers my activity while working on DuaLL. For information about my work done also outside of the project go to my personal homepage.

I am in charge of the TACL series and TACL 2019 websites.

Past activity

Refereeing work