About your gracious host
PHD student at CIDRE
in Rennes, with co-tutoring from
ANSSI), working on the formalization
of security mechanisms for the RISC-V instruction set architecture.
Formal logic and automated proving, programming languages and operating
University of Strasbourg (France) - Master of engineering in computer science (computer graphics)
Teaching assistant for the compilers and formal methods courses of the
INFOSEC degree (cybersecurity).
ANSSI - 2020, six months, fifth year
Worked with OCaml, POSIX, Coq (and
!), survived a
a structured documentation of the C standard library introduced by the
an extension of the FreeSpec standard library aiming to bring POSIX
primitives into Coq
Fridata - 2018, three months, third
Worked on the development of a radio-tracking system for small animals
(e.g. bats) with R/Shiny, in Freiburg im Breisgau, Germany.
Awards and achievements