I am a research fellow at University College London in the PPLV team.
I work on the ReLiC project with 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

** Focused Proof-search in the Logic of Bunched Implications. **pdf arxiv

With Alexander Gheorghiu. Accepted to FoSSaCS 2021.

** Synchronous Forwarders. **pdf

With Marco Carbone and Carsten Schürmann. Draft. October 2020.

** From axioms to synthetic inference rules via focusing. **pdf

With Dale Miller, Elaine Pimentel and Marco Volpe. Submitted. May 2020.

** A fully labelled proof system for intuitionistic modal logics. **pdf hal

With Marianela Morales and Lutz Straßburger. Submitted. October 2019.

** Justification logic for constructive modal logic. **pdf hal

With Roman Kuznets and Lutz Straßburger. Submitted. October 2017.

#### Conference proceedings

** Ecumenical modal logic. **pdf slides

With Luiz Carlos Pereira, Elaine Pimentel and Emerson Sales. Proceedings of DaLi 2020.

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

** From axioms to synthetic inference rules via focusing. **slides

Participation to Elaine Pimentel's invited talk. IJCAR 2020, Paris, 29 June-6 July 2020. **Online.**

**Fully structured proof theory for intuitionistic modal logics. **pdf

Presented by Marianela Morales at AiML 2020, Helsinki, 24-28 August 2020. **Online.**

**Intuitionistic modal proof theory: something old, something new. **pdf

Special session speaker. ASL North American annual meeting 2020. UC Irvine, 25-28 March 2020. **Cancelled!**

**Formalising concurrent computation: CLF, Celf, and applications. **

Tutorial speaker. Tableaux 2019. Middlesex University, London, 3-5 September 2019.

**Justification logic for modal logics on an intuitionistic base. **pdf slides

Special session speaker. ASL North American annual meeting 2019. CUNY, 20-23 May 2019.

**Decomposing labelled proof theory for intuitionistic modal logic. **pdf slides

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.

**Comparing BOX and ! via polarities. **pdf slides

Presented at Linear Logic: interaction, proofs and computation. Lyon, 7-10 Nov 2016.

**A cut-free proof system for pseudo-transitive modal logics. **pdf slides

Presented at TACL 2015. Ischia, 21-26 June 2015.

#### Technical reports and theses

**Modal proof theory through a focused telescope. **hal slides

PhD thesis. Université Paris Saclay. Ecole Polytechnique. January 2018.

**On the proof theory of indexed nested sequents for classical and intuitionistic modal logics. **hal

With Lutz Straßburger. Inria. April 2017.

**Focused and Synthetic Nested Sequents. (Extended Technical Report) **hal

With Kaustuv Chaudhuri and Lutz Straßburger. Inria. January 2016.

## Teaching

**Spring 2021**

Teaching Assistant. **Theory of Computation.** UCL, London. BSc in Computer Science, 1st year.

Teaching Assistant. **Directed Reading.** UCL, London. MEng in Mathematical Computation, 2nd year.

**Fall 2020**

Teaching Assistant. **Logic.** UCL, London. BSc in Computer Science, 2nd year.

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