mbty's austere website

About your gracious host

In short

My whereabouts

PHD student at CIDRE (Inria/Centrale Supélec in Rennes, with co-tutoring from ANSSI), working on the formalization of security mechanisms for the RISC-V instruction set architecture.

My interests

Formal logic and automated proving, programming languages and operating systems.

Online profiles


University of Strasbourg (France) - Master of engineering in computer science (computer graphics)


CentraleSupélec - 2021-ongoing

Teaching assistant for the compilers and formal methods courses of the INFOSEC degree (cybersecurity).

ANSSI - 2020, six months, fifth year internship

Worked with OCaml, POSIX, Coq (and FreeSpec!), survived a global pandemic. Two realisations:

Fridata - 2018, three months, third year internship

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