1st year PhD in Computer Science at IRIF, supervised by Giovanni Bernardi, co-supervised by Hugo Férée.
| gaetan.lopez@irif.fr | |
| Office | 4059 |
My research interests include :
Joint work with Claudia Faggian and Benoît Valiron.
33rd EACSL Annual Conference on Computer Science Logic 2025 (CSL), 10-14 February 2025
Presentation on slides : [PDF]
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]
Supervised by Claudia Faggian and Benoît Valiron.
Developping confluence and normalization on a quantum lambda calculus with measurement.
Report : [PDF]