# Publications

My publications are listed in reverse chronological order below. They are categorised via peer-reviewed publications, Workshop papers, Isabelle AFP Entries (i.e. Archive of Formal Proofs), and Theses.

## Published Papers

## 2024

- Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma
*In Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs*, London, UK, 2024

## 2023

## 2022

## 2021

## Workshop Papers

## 2020

- IsabelleLucas’s Theorem: Formalising Generating Function Proofs
*In Isabelle Workshop 2020, associated with IJCAR2020*, 2020