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 Coq proof assistant. 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 Coq 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.
- 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.