## 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.