About me

I am a first-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

Resume

In short
Formation:
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:
    {\begin{it}{-1.15\baselineskip}
  • Databases (DSB) - 20h - Tutorials - L2 - ISTIC - Resp. : Annie Foret
  • Object-oriented programming (PO) - 20h - Practical sessions - L2 - ISTIC - Resp. : Alexandre Termier
  • Functional programming - 20h - Practical sessions - L2 - INSA - Resp. : Barbara Fila
  • Mathematics teacher in high school, Rouen (2018-2019)

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