Juan Cruz-Benito

Juan Cruz-Benito

(he/him)

Quantum+AI Manager

IBM Research

Professional Summary

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.

Education

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

Interests

Quantum+AI Applied Machine Learning Open Source
Projects

Qiskit Code Assistant

Family of open-source LLMs (8B–24B) for quantum code generation, plus the Qiskit HumanEval* benchmarks

qiskit-ibm-transpiler

AI-powered quantum circuit optimization library — Ranking 3rd in Unitary Foundation 2025 Survey, 929K+ downloads

Qiskit Gym

Reinforcement learning environments for quantum circuit synthesis — powers the AI transpiler passes

Qiskit MCP Servers

Model Context Protocol servers connecting AI assistants to IBM Quantum services

Recent Posts
Qiskit QuantumKatas: A Benchmark for Evaluating LLMs on Quantum Code

Qiskit QuantumKatas: A Benchmark for Evaluating LLMs on Quantum Code

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.

We Got AI Agents to Train RL Models for Quantum Transpilation
Run Qiskit Code Assistant Locally easily!

Run Qiskit Code Assistant Locally easily!

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.

Seeing AI Through the Curry–Howard Lens

Seeing AI Through the Curry–Howard Lens

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.

Recent Publications
(2025). Quantum Processing Unit (QPU) Processing Time Prediction with Machine Learning. 2025 IEEE International Conference on Quantum Computing and Engineering (QCE), vol. 1, pp. 387-393, IEEE.

Experience

Quantum+AI Manager

IBM Research

Leading a team on R&D at the intersection of Quantum and AI: improving LLMs for the quantum computing domain, AI for scientific discovery, and related problems.

Senior Software Engineering Manager

IBM Quantum / IBM Research

Leading and contributing to engineering teams building AI-powered tools for quantum computing. Hands-on management delivering products for the quantum computing community.

AI for Quantum Product Owner

IBM Quantum

Driving product strategy for qiskit-ibm-transpiler and AI transpiler passes (#3 Unitary Foundation 2025, 929K+ downloads), and Qiskit Code Assistant. 9+ patents filed.

Software Engineering Manager

IBM Quantum

Built and led the AI for Quantum engineering team while contributing as an IC. Shipped RL-based circuit synthesis and LLM-powered code generation tools.

Data & Intelligence Chapter Lead

IBM Quantum

Led and contributed to data and ML initiatives across IBM Quantum platform teams.

Research Developer

IBM Quantum

Senior Software Engineer (contractor)

IBM Quantum, IBM Research

Teaching assistant. Human-Computer Interaction

Computer Science Department. University of Salamanca

Software engineer & researcher

GRIAL Research Group. University of Salamanca

Software engineer

Service of Professional Insertion, Practices and Employment, University of Salamanca

Intern. Testing Factory

Ingeniería de Software Avanzado (INSA)

Recent Talks
Quantum Error Correction Meets AI for Science: Lessons from LLM-Guided Code Discovery
AI for Qiskit. Hackathon starter pack
Bring useful quantum computing to the world

Bring useful quantum computing to the world

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.

AI Methods for Quantum Circuit Optimization

AI Methods for Quantum Circuit Optimization

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.

¿Hay vida después del doctorado? / Is there life after the PhD?

¿Hay vida después del doctorado? / Is there life after the PhD?

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

Awards & Accomplishments
Senior Member
IEEE ∙ December 2025
Senior Member is the highest grade for which IEEE members can apply. It requires significant professional experience and accomplishments.
IBM Master Inventor
IBM ∙ December 2024
The Master Inventor recognition is given to employees who have mastered the patent process, mentored broadly, added value to IBM’s portfolio and demonstrated sustained innovation leadership and service.
Qiskit Advocate
Qiskit Community ∙ October 2019
Recognition for deep understanding of Qiskit (circuits, algorithms, simulators, qubits and noise) and contributions to the Qiskit and quantum community.
Research Award: best young researchers in Computer Science in Spain
Spanish Scientific Society for Computer Science (SCIE) & BBVA Foundation ∙ May 2019
National Award to recognize me as one of the best six young researchers (under 30) in Computer Science in Spain.
Cum Laude, International PhD
University of Salamanca ∙ September 2018
Best conference paper award
8th International Workshop on Software Engineering for E-learning (ISELEAR'17) / TEEM 2017 ∙ October 2017

Contact

Get in touch

Happy to talk about research collaborations, open source, Quantum+AI, or speaking opportunities. Use the form below or reach me on any of these networks.

Find me on

Send me a message