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 book on quantum machine learning, introducing the basics of quantum computing with a hands-on approach, and with almost zero prerequisites.
Published by Packt • 2023-03
Co-authored with Elías F. Combarro.
This book introduces quantum computing and its applications with a hands-on approach, keeping prerequisites to a minimum.
Self-published • 2020/Present • Open source & CC-licensed
A comprehensive introduction to mathematical logic and general mathematical reasoning, with no prerequisites.
Journal article (Studia Logica) • 2026-10 • CC-licensed
Structural type theory is an extension of simple type theory that incorporates types for any kind of mathematical structure and allows isomorphic structures to be identified within them. In order to guarantee consistency, the system incorporates several syntactic restrictions. Modelling structural type theory in Tarski–Grothendieck set theory and extending the definition of transport functions, we show that some of these restrictions can be lifted, thus improving the expressive power of the system. In addition, we show how to treat axiomatic theories as first-class objects in our reformulation of structural type theory, and we state and prove within it a result analogous to the morphism theorem by Farmer.
Journal article (Mathematical Methods in the Applied Sciences) • 2025-08 • CC-licensed
Co-authored with Elías F. Combarro, Ignacio F. Rúa and José Ranilla.
We discuss how quantum gate teleportation can be extended to assume the fault-tolerant implementation of any orthogonal unitary basis of operators, in such a way that each of these bases can be used to implement its own hierarchy of fault-tolerant gates. Noticing that all of these hierarchies are defined through the same algebraic construction, we study this construction from a group-theoretic perspective.
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 — from looking at other people's code!