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 proofs, programming languages, hardware and
My name is Matthieu Baty.
Teaching assistant for the compilers and formal methods courses of the
INFOSEC degree (cybersecurity).
2020, six months, fifth year internship
Worked with OCaml, POSIX, Coq (and
!), survived a
a structured documentation of the C standard library introduced in the
an extension of the FreeSpec standard library aiming to bring POSIX
primitives into Coq
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.
University of Strasbourg
— master of engineering in computer science (computer graphics)
Awards and achievements