Interests : Formal verification, and security of all sorts,

Mostly program in OCaml and Rust. Currently learning Coq.