Colin Blake

Nancy, France · colin.blake[at]inria.fr

I am a PhD candidate in quantum computing at Inria, specializing in the development of equational theories for quantum circuits, particularly qudit systems. My research focuses on the formalization and optimization of quantum circuits, with the goal of proving the completeness of equational theories and improving quantum algorithms. I have a strong background in theoretical computer science and have completed several internships in the field, contributing to the advancement of quantum computing research.


Experience

PhD Candidate - MOCQUA Team

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.

Oct. 2024 - Present

Intern - MOCQUA Team

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

Mar. 2024 - Jul. 2024

Intern - QuaCS Team

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

Mar. 2023 - Jul. 2023

Intern - QuaCS Team

L3 level internship involved in the compilation of quantum circuits in a typed language, as well as the representation of Pattern-Matching in ZX-Calculus.

May 2022 - Jul. 2022

Teaching

TP - Introduction à l'Intelligence Artificielle

Faculté de Sciences et des Technologies, Université de Lorraine

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.

2nd Sem. 2025

TP - Projet de Synthèse Java

Faculté de Sciences et des Technologies, Université de Lorraine

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.

2nd Sem. 2025

Education

M2 MPRI - Master Parisien de Recherche en Informatique

ENS Paris-Saclay

Mention Bien

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

Sept. 2023 - Aug. 2024

Magistère d'Informatique

Université Paris-Saclay

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

Sept. 2021 - Aug. 2024

M1 MPRI - Master in Theoretical Computer Science

Université Paris-Saclay

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

Sept. 2022 - Aug. 2023

Licence Double Diplôme Mathématiques et Informatique

Université Paris-Saclay

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

2019 - 2022

Baccalauréat Scientifique

Lycée Blaise Pascal, Orsay

Mention Très Bien (17,55/20)

2016 - 2019

Papers

Not any paper yet :(

Still cooking...

Currently working on axiomatization of qutrit circuits

October 2024

Events

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

Saclay

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

Jan. 2024

Starting my PhD!

Inria, Nancy

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

Oct. 2024