About your gracious host
In short
My whereabouts
Postdoc at the University of Iceland in Reykjavík.
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)
-
I do CTFs every so often, usually under the name encrypteur_digital
(I like OSINT; 1st/218@BIG2025, 2nd/245@THCon2K25)
Trivia
My name is Matthieu Baty.
My email address is <insert_my_gitlab_username>@protonmail.com.
Experience
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 deliverables:
-
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
Formal methods and hardware.
Funded and co-supervised by
ANSSI (thanks!).