I am a PhD student at ENS Lyon and at the University of Warsaw since September 2016, under the supervision of Colin Riba and Henryk Michalewski.

My current work focuses on the constructive aspects of Monadic Second Order logic.
I am generally interested in topics around logic, realizability, automata theory and type theory.

Publications

Code

Some formalizations in Coq I made as a hobby.

Teaching

2018

Contact

firstname.lastname@ens-lyon.fr