⌨️
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:52
- 1h ahead - cst1.fr
- @cst1@nixos.paris
Samuel Vivien
samsa1
PL PhD student currently working on adding modular implicits to the OCaml compiler
INRIA Paris - France