Clément Hérouard

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:

• Formal verification
• Cryptographic protocols
• Type systems

In short
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)

• 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