About me
I am a second-year Ph.D. student at the University of Rennes.
I work in the team SPICY at IRISA.
My work is directed by Stéphanie Delaune and supervised by Joseph Lallemand
I work on a typing system to prove computational security properties. We aim to intergrate this system in the proof assistant Squirrel.
Here is a short paper submitted to the workshop FCS2023
I am mainly interested in:
My work is directed by Stéphanie Delaune and supervised by Joseph Lallemand
I work on a typing system to prove computational security properties. We aim to intergrate this system in the proof assistant Squirrel.
Here is a short paper submitted to the workshop FCS2023
I am mainly interested in:
- Formal verification
- Cryptographic protocols
- Type systems
Resume
In short
Formation:
Research:
Teaching:
More details
Complete resume (french - english)
Formation:
- Master of computer science at ENS Rennes
- Master of mathematics and teaching at University Rennes 1
- Master of interdisciplinary approach of research and education at CRI (Paris)
Research:
- Ph.D. student at IRISA, Rennes (2022-...)
- Engineer at IRISA, Rennes (2021-2022)
- Intership at IRIT, Toulouse (6 months, 2018)
- Intership at CWI, Amsterdam (2 months, 2015)
- Intership at LORIA, Nancy (2 months, 2014)
Teaching:
- 2023-2024
- Object-oriented programming (PO) - 20h - Practical sessions - L2 - ISTIC - Resp. : Alexandre Termier
- Experimental complexity (ACE) - 20h - Practical sessions - L1 - ISTIC - Resp. : Thomas Genet
- Software and protocol sécurity (SECU) - 20h - Practical sessions - L3 - ISTIC - Resp. : Thomas Genet
- 2022-2023
- Object-oriented programming (PO) - 20h - Practical sessions - L2 - ISTIC - Resp. : Alexandre Termier
- Databases (DSB) - 20h - Tutorials - L2 - ISTIC - Resp. : Annie Foret
- Functional programming - 20h - Practical sessions - L2 - INSA - Resp. : Barbara Fila
- 2018-2019
- Mathematics teacher in high school, Rouen
More details
Complete resume (french - english)
Publications
- EDM 2019 Design and Evaluation of a Semantic Indicator for Automatically Supporting Programming Learning, Julien Broisin & Clément Hérouard
- EIAH 2019 Soutien à l'apprentissage de la programmation : conception et évaluation d'un indicateur sémantique, Julien Broisin & Clément Hérouard