- 2020
-
Herbrand Proofs and Expansions Proofs as Decomposed Proofs
Published in Journal of Logic and Computation
Paper
-
- 2019
-
Towards a Combinatorial Proof Theory
with Lutz Strassburger
Presented at Tableaux 2019 and published in the proceedings
Paper | Presentation -
Modular Normalisation of Classical Proofs
Aug 2018 - First version submitted
Oct 2018 - Examined by Willem Heijltjes and Georg Moser
Feb 2019 - Final version accepted
PhD Thesis | Presentation
-
- 2018
-
Deep Inference, Herbrand's Theorem and Expansion Proofs
Presented at Twenty Years of Deep Inference
Abstract | Slides -
A Natural Proof System for Herbrand's Theorem
Paper presented at LFCS 2018 and published in the proceedings
Awarded the Rosser Prize for Best Student Paper at LFCS 2018
Paper | Slides
-
- 2017
-
Removing Cycles from Proofs
with Alessio Guglielmi and Andrea Aler Tubella
Paper presented at CSL 2017 and published in the proceedings
Paper | Slides
-
- 2016
-
Decomposing First-Order Proofs using Deep Inference
Talk presented at PCC 2016
Abstract -
Understanding First-Order Cut Elimination and Herbrand's Theorem using Deep Inference
Talk presented at ALCOP 2016
Abstract | Slides
-
- 2015
-
A Natural Cut-elimination Procedure for Classical First-order Logic
Talk presented at WENPS 2015
Slides -
PhD Confirmation Report
Report submitted for successful progression from probationary to confirmed PhD Student
Report -
Confluent and Natural Cut Elimination in Classical Logic
with Alessio Guglielmi
Talk presented at PCC 2015
Abstract | Slides
-