⌨️
From Verilog to Coq through Zig, Rust and OCaml
Computer science, Esperanto and aviation enthusiast.
Love formal verification, (embedded) systems programming and functionnal/synchronous/reactive languages
-
École Normale Supérieure, Paris.
- Paris
-
12:36
(UTC +02:00) - cst1.fr
- @[email protected]