Research

Publications

Rocqshop 2025 : An Engineer’s Self-Taught Journey with Rocq Proof Assistant

Teaching

  1. 2025 Fall : TA for Special Math Lecture : Dynamical Systems at Nagoya University (Japan)
  2. 2025 Spring: TA for Data Science at Nagoya University (Japan)
  3. 2016-2018 : TA for Embedded Systems at Polytech Sorbonne (France)

    4. Projects

    無し