About me

Currently, I am a Research Fellow in the Theory Group of the School of Computer Science at the University of Birmingham. My position is funded by the UKRI Fellowship StrIP led by Anupam Das. Previously, I was a Postdoctoral Fellow at the Australian National University in Canberra working with Peter Höfner. I also obtained my PhD, under the supervision of Rajeev Goré, at the Australian National University.

My research focuses on mathematical and computational aspects of logics. Much of my research consists in studying non-classical logics from a proof-theoretic angle, but I also venture myself down the semantic (Kripke, algebraic, topological, …) path every now and then. I try my best to formalise all my results in the interactive theorem prover Rocq.