Renaud Vilmart (Inria) will run a Seminar@SystemX on the topic: Why we care about quantum computing, and how we deal with it?, on July 4, 2024, from 2:00pm to 3:00pm.

>> Connect to the webinar <<


In this seminar, we will review the basic notions of quantum computing to get us started on the subject. We will then try to understand the recent appeal for the matter by discussing important quantum alorithms with real life applications, and finally present ways to formally reason about computations using quantum mechanics, a field often described as rather counterintuitive.


Renaud Vilmart (PhD from U. Lorraine 2019) is an ISFP researcher at Inria, in the team QuaCS (Quantum Computation Structures) at the Laboratoire Méthodes Formelles. His work focusses on formal methods for quantum computing, most prominently on graphical languages.
He now manages the national CNRS structure GT-IQ (Groupe de Travail Informatique Quantique, part of the GdR-IFM) and is involved in the national PEPR project EPIQ, the national quantum plan HQI, the ANR project TaQC, the i-Demo project Aero-Qat, and the european project HPCQS.



Subscribe to IRT SystemX's

and receive every month the latest news from the institute: