I am a Ph.D. student at Inria Saclay under the supervision of Lutz Straßburger and Dale Miller.

Inria Saclay - Île de France
1 rue Honoré d'Estienne d'Orves
Bâtiment Alan Turing
Campus de l'École Polytechnique
91120 Palaiseau


Conference proceedings

A focused framework for emulating modal proof systems. pdf
With Dale Miller and Marco Volpe. Proceedings of AIML 2016.

Modular focused systems for intuitionistic modal logics. pdf
With Kaustuv Chaudhuri and Lutz Straßburger. Proceedings of FSCD 2016.

Focused and Synthetic Nested Sequents. pdf
With Kaustuv Chaudhuri and Lutz Straßburger. Proceedings of FoSSaCS 2016.

Label-free Modular Systems for Classical and Intuitionistic Modal Logics. pdf
With Lutz Straßburger. Proceedings of AIML 2014.


Justification logic for constructive modal logic. pdf
With Roman Kuznets and Lutz Straßburger. To be presented at IMLA 2017. Toulouse, 17-28 July 2017.

Comparing BOX and ! via polarities. pdf
Presented at the workshop Linear Logic: interaction, proofs and computation. Lyon, 7-10 Nov 2016.

Focused nested sequents. pdf
With Kaustuv Chaudhuri and Lutz Straßburger. Presented at Alcop 2016. Vienna, 7-9 Apr 2016.

A cut-free proof system for pseudo-transitive modal logics. pdf
With Lutz Straßburger. Presented at TACL 2015. Ischia, 21-26 June 2015.

Teaching at UPMC

Spring 2016
1M002 - Suites et intégrales, Algèbre linéaire (1st year)

Fall 2016
1M001 - Analyse et algèbre pour les sciences (1st year)
2M216 - Fonctions de plusieurs variables, analyse vectorielle, intégrales multiples (2nd year)