Current research
My work focuses on establishing and generalising connections between model theory and categorical logic. Recently I have been looking at imaginaries and hyperimaginaries, Barr-exactness, groupoids definable in a first-order structure, and internal covers.
'Hyperimaginaries and Exactness of the Pro-Completion', Preprint, 2026, arXiv:2608.13657 [math.LO].
Other work
'Forcing: Beyond Set Theory', Masters dissertation, 2024, supervised by Ehud Hrushovski.
'Exploring the NIP property in Model Theory', Summer project, 2023, supervised by Brian Tyrrell-Nic Dhonncha and Jinhe Ye.