achampion
11
reputation
4
OCaml and Rust developer.
I work in software verification, more precisely in SMT-based model checking. I'm the co-main dev of the Kind 2 model checker.