The main purpose of this website is to contain my CV, which you can find here. Nothing too exciting to be expected here.


Academic stuff

I'm currently doing a master's degree in logic at the Institute of Logic, Language and Computation in Amsterdam.

I have an undergraduate degree in mathematics from the University of Edinburgh; my BSc project can be found here:
Sheaves on Topological Spaces and their Logic (as submitted for assessment),
and it was supervised by Tom Leinster.

During the summer of 2017, I did a research project in quantum logic and set theory, the outcomes of which are the report
The Category of Hilbert Spaces as an Orthogonal Category,
as well as a series of blog posts explaining quantum logic: andinparticularexists.wordpress.com. This project was supervised by Chris Heunen.



Writing

Occasionally, I write for the sake of writing (and thinking). Some of the outcomes of this peculiar process can be found here: stepintoriver.wordpress.com.

My essay was published in the second issue of the University of Edinburgh Philosophy Society Journal:
Statistical Hypothesis Testing in the Context of Hume’s Critique of Induction.



Other projects

The Indispensables Co.



Things I follow or recommend

The n-Category Café
Azimuth
mathbabe
Reflections of a Non-Irishman
Edinburgh SocieTea