Colin Blake

PhD Candidate - MOCQUA Team

Inria

PhD candidate in quantum computing, specializing in the development of equational theories for quantum circuits, particularly qudit systems. Working on the formalization and optimization of quantum circuits, with the goal of proving the completeness of equational theories and improving quantum algorithms.

Intern - MOCQUA Team

Inria

M2 level internship focused on the completeness of equational theories of quantum circuits applied to qudits.

Intern - QuaCS Team

Inria

M1 level internship to demonstrate the completeness of fragments of a graphical language (ZX-Calculus) enriched with a partial transpose operator.

TP - Introduction à l'Intelligence Artificielle

This course introduces the foundational concepts of artificial intelligence (AI), including its history, key problem-solving methods such as state space exploration and heuristic search, and two-player zero-sum games using minimax algorithms and alpha-beta pruning.
It also covers machine learning basics like decision trees and explores contemporary topics such as AI ethics and deep learning. Students gain hands-on experience through practical sessions.

TP - Projet de Synthèse Java

This project spans five months, during which students work individually or in pairs to create a Java application that integrates key concepts from their coursework. Emphasis is placed on object-oriented programming, system operations, and database management. The project enhances software development skills, version control using Git, and presentation abilities.

M2 MPRI - Master Parisien de Recherche en Informatique

Mention Bien

Research-oriented training in computer science, collaborating with major French institutions.

Magistère d'Informatique

Excellence program integrating Bachelor's and Master's degrees in computer science.

M1 MPRI - Master in Theoretical Computer Science

Grade: 16/20, Laureate of the Labex DigiCosme Excellence Scholarship.

Licence Double Diplôme Mathématiques et Informatique

Mention Très Bien, 16+/20 each year. Engaged in associative activities, including president of a card games association.

Les Chevaliers du Quantique

Developed a digital and pen & paper game focused on quantum circuit concepts. We were awarded the Jury Prize at the game jam. Play online or download the pen & paper version.

Presentation at PhD Day - Department of Formal Methods, Loria

Presented ongoing work "Escape the Matrix: Graphical Reasoning and Minimal Axioms for Quantum Circuits" at the 2025 PhD Day of the Formal Methods department. Slides available here.

Scientific Game Jam: Les Chevaliers du Quantique

Co-created a digital and pen & paper game for a scientific game jam focused on quantum circuits. Our team won the Jury Prize for innovation and educational value. View the project and download the PDF version.

I will attend the "Journées Informatique Quantique 2025"

While I won't be giving a presentation this time, I'd love to connect and discuss exciting topics in quantum computing!
Visit the event website

Starting my PhD!

I am excited to announce that I will be starting my PhD in quantum computing at Inria, Nancy.