Gaëtan LOPEZ 1st year PhD in Computer Science at IRIF, supervised by Giovanni Bernardi, co-supervised by Hugo Férée. Contact Email gaetan.lopez@irif.fr Office 4059 My research interests include : Quantum Computation Quantum Information Lambda calculus Process Calculus Publications and Preprints A Rewriting Theory for Quantum Lambda-Calculus Joint work with Claudia Faggian and Benoît Valiron. 33rd EACSL Annual Conference on Computer Science Logic 2025 (CSL), 10-14 February 2025 [arXiv, 2024] Internships CCS and the harmony lemma in COQ Supervised by Giovanni Bernardi and Hugo Férée. Formalization in COQ of Calculus of Communicating Systems, Calculus of Communicating Systems with Value Passing, Calculus of Communicating Systems with Sequenciation. Formalization in COQ of their Harmony Lemmas. Report : [PDF] Quantum Lambda-Calculus with measurement Supervised by Claudia Faggian and Benoît Valiron. Developping confluence and normalization on a quantum lambda calculus with measurement. Report : [PDF]