Quantum machine learning and quantum optimisation
Published by Packt • 2023-03
Co-authored with Elías F. Combarro.
This book approaches quantum computing and its applications with a hands-on approach, keeping pre-requisites to a minimum.
Books
Leaving the cave: An introduction to mathematical thinking
Self-published • 2020/Present • Open source & CC-licensed
A comprehensive introduction to mathematical logic and general mathematical reasoning, with no pre-requisites.
Projects & miscellanea
Kytchen
This is a simple Python utility that I've built to manage my cooking recipes. It enables you to prepare recipes modularly, to compute the caloric content of your meals and to organise meal plans. Of course, it's open-source, so you can extend it and customise it to suit your needs.
My tools
My dotfiles and LaTeX document classes are stored in public GitHub repositories. My hope is that they will be useful to others, perhaps as a source of inspiration. Personally, I have learnt a lot — and borrowed a few ideas — out of looking at other people's code!
Academic work
Mathematical Structures Within Simple Type Theory
Article (Studia Logica) • 2024-07 • CC-licensed
We present an extension of simple type theory that incorporates types for any kind of mathematical structure (of any order). We further extend this system allowing isomorphic structures to be identified within these types thanks to some syntactical restrictions; for this purpose, we formally define what it means for two structures to be isomorphic. We model both extensions in NFU set theory in order to prove their relative consistency.
The dirichlet energies of functions between spheres
MSc Thesis (Maynooth University) • 2023-05 • CC-licensed
Written under the supervision of Dr Stefan Bechtluft-Sachs.
The main focus of this thesis is the study of the p-energy of functions between spheres. The thesis includes plenty of introductory material that helps contextualise the content and should make it accessible to readers from different backgrounds.