Clément Hérouard

Current Position
I am a third-year PhD student at the University of Rennes.
My work is directed by Stéphanie Delaune and supervised by Joseph Lallemand in the team SPICY at IRISA.
I work on a typing system to prove computational security properties. This work is implemented in the proof assistant Squirrel.

---

Interests
I am mainly interested in:

• Formal verification
• Cryptographic protocols
• Type systems

I have also worked on Squirrel's implementation in OCaml since my engineering position in 2021.

---

Current Work
My first work on typing has been accepted at CSF 2025 (to be published). An extended version is already available here. Now, I work on two topics:

• Proof of Signal's double ratchet in Squirrel
• Formalisation of Squirrel's input language

During my PhD

• CSF 2025 Secrecy by typing in the computational model, Stéphanie Delaune, Clément Herouard, Joseph Lallemand [extended version]

---

During internship

• EDM 2019 Design and Evaluation of a Semantic Indicator for Automatically Supporting Programming Learning, Julien Broisin, Clément Hérouard [pdf]

In short
Formation:

• Master of computer science at ENS Rennes
• Master of mathematics and teaching at University Rennes 1
• Master of interdisciplinary approach to research and education at CRI (Paris)

Research:

• PhD student at IRISA, Rennes (2022-...)
• Engineer at IRISA, Rennes (2021-2022)
• Internship at IRIT, Toulouse (6 months, 2018), at CWI, Amsterdam (2 months, 2015), and at LORIA, Nancy (2 months, 2014)

Teaching:

• Programmation and algorithmics - Java and OCaml - 9h of tutorials and 82h of pratical sessions)
• Security - 51h of tutorials
• Databases - 20h of tutorials
• Mathematics teacher in high school, Rouen (2018-2019)

---

Details
Complete resume (Last update in October 2024)