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
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!).