About your gracious host

In short

My whereabouts

PhD student at CIDRE (Inria/CentraleSupé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 proofs, programming languages, hardware and operating systems.

Online profiles

Gitlab
Ludum Dare (as part of the 👑 Ludum Darons 👑 team)

Trivia

My name is Matthieu Baty.

Experience

CentraleSupélec — 2021–ongoing

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

EPFL, SYSTEMF lab — 2023, six months, PhD project student

Worked on Coq's support for partial interpretation, under the supervision of Clément Pit-Claudel. See my report.

ANSSI — 2020, six months, fifth year internship

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

a structured documentation of the C standard library introduced in the POSIX standard
an extension of the FreeSpec standard library aiming to bring POSIX primitives into Coq

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.

Education

University of Strasbourg — master of engineering in computer science (computer graphics)

Awards and achievements

N/A