About your gracious host

In short

Postdoc at the University of Iceland in Reykjavík.

Formal logic and automated proofs, programming languages, hardware and operating systems.

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)

My name is Matthieu Baty.
My email address is <insert_my_gitlab_username>@protonmail.com.

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

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

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

Worked on the development of a radio-tracking system for small animals (e.g. bats) with R/Shiny, in Freiburg im Breisgau, Germany.

Formal methods and hardware.
Funded and co-supervised by ANSSI (thanks!).

Computer graphics.

N/A