Colin Blake
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.