Research Activities
My publications are on the home page, if you’re looking for those. Some other things I’m doing or have done:
- I’m on the program committee for IEEE SMC-IT 2024. Pronounced ‘smack it’. I think all conference names should be this amusing.
- I’m the web chair (that is, I made the website) for iFM 2024. It’s built using Pollen, same as this site.
PhD Thesis
Supervised by Prof Rosemary Monahan, I put institution theory in the Rocq Prover. Formerly known as the Coq proof assistant. You can read about the name change on their website. You can see it on GitHub.
Institution theory studies logical systems in general using category theory. An institution is a mathematical object which is supposed to approximate a ‘logical system’, and so by studying institutions we hope to study logical systems in general.
I encoded some of the general theory of institutions in Rocq and (more significantly) instantiated the theory to a few concrete logics, mostly first-order logic and its variants. I also constructed a trace semantics for Event-B as an institution and combined it with linear temporal logic as a duplex construction. This sounds a lot fancier than it is, but it’s still neat.
Work & Education
- Postdoctoral Research Associate in Computer Science, University of Manchester, 2023–pres.
- Adjunct Lecturer in Computer Science, Fuzhou University, Mar–May 2023
- PhD in Computer Science, Maynooth University, 2019–2023
- MSc in Mathematics, Maynooth University, 2018–2019 (h1)
- BSc in Computational Thinking, Maynooth University, 2015–2018 (h1)
Awards
- Government of Ireland Postgraduate Scholarship Programme Award, awarded by the Irish Research Council in 2019. This was my PhD funding.
- Hamilton Prize in Mathematics, awarded in 2017 by the Royal Irish Academy to the best undergraduate students of mathematics in Ireland in their penultimate year of study.
- Cook Prize in Computer Science, awarded to the best second-year computer science student at Maynooth University.
- Delort Prize in Mathematics, awarded in 2016 to the best first-year mathematics student at Maynooth University.
- Turing Prize in Computer Science, awarded in 2016 to the best first-year Computational Thinking student at Maynooth University.