Séminaire ICE : « All You Wanted to Know About Quantum Programming Without Daring to Ask »
In this talk, I will present quantum computation from the perspective of the programmer. The talk will first present the computational model, what can (and cannot) be done with quantum information, and how quantum algorithms are structured. We shall then discuss the current approaches for quantum programming and quantum compilation toolchains.
Bio
Benoît Valiron is assistant professor at CentraleSupélec. His research takes place within the Formal Methods Laboratory (LMF), in the Inria/QuaCS team that he co-founded. His research covers quantum compilation and formal methods to analyze quantum programs. BV has over 50 refereed publications and he is involved in several national and international research grants with both academic and industrial partners. He has been co-supervising 8 PhD thesis, with 3 still in progress.