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.