I research and develop AI-based systems to tackle complex problems in quantum computing and other relevant areas.
My work sits at the intersection of quantum computing, machine learning, and open source. I hold IBM Master Inventor status and have contributed to tools used by millions of developers worldwide.
I have a PhD in Computer Engineering from the University of Salamanca (2018), have authored 80+ publications, and received the 2019 SCIE-BBVA Award for best young researcher in Computer Science in Spain.
PhD in Computer Engineering
University of Salamanca, Spain
MEng in Intelligent Systems
University of Salamanca, Spain
BSc Degree in Computer Engineering
University of Salamanca, Spain
IT Systems Engineer
University of Salamanca, Spain
Family of open-source LLMs (8B–24B) for quantum code generation, plus the Qiskit HumanEval* benchmarks — 30K+ downloads on Hugging Face
AI-powered quantum circuit optimization library — Ranking 3rd in Unitary Foundation 2025 Survey, 981K+ downloads
Reinforcement learning environments for quantum circuit synthesis — powers the AI transpiler passes
Model Context Protocol servers connecting AI assistants to IBM Quantum services
We adapted Microsoft’s QuantumKatas from Q# to Qiskit and turned them into a 350-task benchmark for evaluating how well LLMs write quantum code. We ran 16 models across 7 prompting setups — 39,200 runs — and the results say a lot about where these models are strong and where they still fall short.
A new MCP server that enables AI agents to autonomously train reinforcement learning models for quantum circuit synthesis - including permutation, linear function, and Clifford circuits.
After a few months acting as an in-country Senior Manager, I got officially certified for the Senior Software Engineering Manager role at IBM.
You can now run the Qiskit Code Assistant locally easily. Download optimized models in GGUF format, install Ollama, and configure your VSCode or JupyterLab extension with a single command.
The Curry–Howard correspondence—propositions as types, proofs as programs—offers a conceptual framework for understanding what’s missing in current LLMs and what becomes possible when AI systems learn to construct and verify proofs natively.
IBM Research
IBM Quantum / IBM Research
IBM Quantum
IBM Quantum
IBM Quantum
IBM Quantum
IBM Quantum, IBM Research
Computer Science Department. University of Salamanca
GRIAL Research Group. University of Salamanca
Service of Professional Insertion, Practices and Employment, University of Salamanca
Ingeniería de Software Avanzado (INSA)
Keynote on using LLM-guided evolutionary program search (built on OpenEvolve) to discover 465 new bivariate-bicycle quantum LDPC codes, and what that stress test teaches about applying ‘AI for science’ methods to quantum error correction.
Technical presentation on AI applications for Qiskit development at the BasQ Qiskit Fall Fest 2025 hackathon
Metafuturo Bizkaia Quantum was a prominent quantum computing event held at the Palacio Euskalduna in Bilbao, Spain, bringing together industry leaders, researchers, and innovators to discuss the future of quantum technologies and their impact on business and society. In this talk, I gave an overview about IBM’s plans to bring useful quantum computing to the world and how Quantum+AI can help in that mission. During the talk, I explored IBM’s roadmap for achieving quantum advantage and fault tolerant quantum computers and how AI can contribute to it.
Full-day tutorial at IEEE Quantum Week 2025 (QCE25) on using and training AI-powered transpiler passes in Qiskit for quantum circuit optimization, co-presented with David Kremer and Victor Villar.
In this talk, I returned to my alma mater, the University of Salamanca to share my journey with current PhD students. Speaking about my PhD experience and the career path that followed felt like coming full circle. It was inspiring to connect with brilliant doctoral candidates who are navigating their own research journeys. My main message? Make the most of your PhD years - they’re not just about the research, but about developing the critical thinking, resilience, and problem-solving skills that will serve you throughout your career. The energy and curiosity of the audience brought back memories of my own PhD days, which were truly an adventure. Getting to hang out with fellow PhD students and other speakers made the experience even more enriching
