Academic work
The full collection of my published academic work (journal articles, reports, theses, etc.) excluding books.
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.
PhD Thesis (University of Oviedo) • 2026-06 • CC-licensed
Written under the supervision of Prof. Elías F. Combarro and Prof. Ignacio F. Rúa.
This thesis presents contributions to quantum computing through the lenses of algorithmic, algebraic and formal generalisation. First, it adapts CDCL principles to quantum SAT over product states, introducing a sound refuter. Second, it generalises the Clifford hierarchy beyond Pauli bases via quasinormalisers, showing finite gate-teleportation schemes give finitely many fault-tolerant gates. Third, it introduces structural type theory, which handles structures up to isomorphism, proves its relative consistency, and axiomatises Clifford gates model-independently.
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.
Journal 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.
Conference paper (IEEE MELECON 2024) • 2024-06 • Closed access
Co-authored with Diego García-Vega, Francisco D. González-Martínez, Jaime García-Martínez, Elías F. Combarro, Francisco J. Cañadas-Quesada and José Ranilla.
We compare hybrid quantum-classical models (quantum support vector machines and quantum neural networks) with their classical counterparts for the automated classification of respiratory sounds. Our experiments show that quantum techniques can enhance classical methods, particularly when only a few training examples are available.
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.
Technical report (CERN Openlab) • 2021-10 • CC-licensed
Written under the supervision of Prof Elías F. Combarro, Dr Alberto Di Meglio and Dr Sofia Vallecorsa.
This work introduces a software platform, ABAQUS (Automated Benchmarking of Algorithms for Quantum Systems), that can be used to benchmark the performance of both software frameworks and hardware devices used in the simulation of quantum computers.
Conference paper (CHEP 2021) • 2021-08 • CC-licensed
Co-authored with Vasilis Belis, Christina Reissel, Sofia Vallecorsa, Elías F. Combarro, Günther Dissertori and Florentin Reiter.
In this work, we develop two quantum classifier models for the ttH classification problem, both of which fall into the category of hybrid quantum-classical algorithms for Noisy Intermediate Scale Quantum devices (NISQ).
arXiv