I am a research fellow at University College London in the PPLV team.
I work on the ReLiC project with Simon Docherty, David Pym, and Alexandra Silva.

Until September 2019, I was a postdoctoral researcher at IT-University in the Meta-CLF2 project, led in Copenhagen by Carsten Schürmann.

I obtained my Ph.D. in January 2018, at Inria Saclay under the supervision of Lutz Straßburger and Dale Miller.

University College London

Gower Street

WC1E 6BT, London

United Kingdom

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