Here you will find some of the things that I have been working on. They range from small fun projects to large endeavours. I shall let you decide which is which!
Published by Packt • 2025-07
Co-authored with Elías F. Combarro.
A prequel to our previous boom on quantum machine learning, introducing the basics of quantum computing with a hands-on approach, and with almost zero pre-requisites.
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.
Self-published • 2020/Present • Open source & CC-licensed
A comprehensive introduction to mathematical logic and general mathematical reasoning, with no pre-requisites.
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 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!
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.
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.