معرفی
Benoît Valiron is a Professor in Computer Science at CentraleSupélec, Université Paris-Saclay. He conducts his research at the Laboratoire Méthodes Formelles (LMF) and is a member of the joint Inria/LMF team QuaCS (Quantum Computing and Systems), focusing on foundational aspects of quantum computation and formal verification.
His research interests lie at the intersection of theoretical computer science and quantum computing. He works on programming languages for quantum systems, type theory, semantics of computation, and formal methods applied to quantum algorithms and protocols. His work contributes to the rigorous development and verification of quantum software.
Benoît Valiron is actively involved in research through his roles at LMF and Inria. The QuaCS team aims to bridge theoretical advances with practical implementations in quantum computing, emphasizing correctness, expressiveness, and efficiency of quantum programs.
He advises students and contributes to academic training in computer science, particularly in quantum computing and programming language theory, though specific advisees are not listed in the available text. There are no mentioned grants or funding sources in the provided information.
The research environment includes collaboration within the LMF laboratory and the Inria joint team QuaCS, both located at the Paris-Saclay campus, a leading hub for mathematics, computer science, and engineering in Europe.
