About your gracious host
In short
My whereabouts
PhD student at SUSHI (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 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
2021–ongoing — CentraleSupélec/Inria (SUSHI team) — PhD
Formal methods and hardware2015–2020 — University of Strasbourg — MSE in Computer Science
Computer graphicsAwards and achievements
N/A
