I am a postdoctoral researcher at IT-University in the project Meta-CLF2, led here in Copenhagen by Carsten Schürmann.
I was until recently a Ph.D. student at Inria Saclay under the supervision of Lutz Straßburger and Dale Miller.

IT-Universitetet i København
Rued Langgaards Vej 7
2300 København S
Danmark

Research

Conference proceedings

Proof theory for indexed nested sequents. pdf slides
With Lutz Straßburger. Proceedings of Tableaux 2017.

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

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

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

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

Workshops

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

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

Focused nested sequents. pdf slides
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 slides
With Lutz Straßburger. Presented at TACL 2015. Ischia, 21-26 June 2015.

Technical reports

On the proof theory of indexed nested sequents for classical and intuitionistic modal logics. pdf
With Lutz Straßburger. Inria. April 2017.

Focused and Synthetic Nested Sequents. (Extended Technical Report) pdf
With Kaustuv Chaudhuri and Lutz Straßburger. Inria. January 2016.

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)