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.

Selected workshop communications

Decomposing labelled proof theory for intuitionistic modal logic. pdf slides
With Marianela Morales and Lutz Straßburger. Presented at Women in Logic. Oxford, 8 July 2018.

Nested proof systems for modal logic and beyond. pdf slides
Presented at Twenty Years of Deep Inference. Oxford, 7 July 2018.

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 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

Spring 2019
Co-lecturer. Linear algebra and probability. IT-University, Copenhagen. MSc in IT, Computer Science.

Fall 2018
Teaching Assistant. Machine learning. IT-University, Copenhagen. BSc in Data Science, 2nd year.
Guest lecturer. Cognitive psychology. Carnegie Mellon University Qatar. slides

Fall 2016
Teaching assistant. Integration and linear algebra. UPMC, Paris. BSc in Mathematics, 1st year.
Teaching assistant. Multiple variables and vectorial analysis. UPMC, Paris. BSc in Mathematics, 2nd year.

Spring 2016
Teaching assistant. Integration and linear algebra. UPMC, Paris. BSc in Mathematics, 1st year.