Simon Junod
Biganon
Back-end dev at @tipee-sa, living and working in Lausanne, Switzerland
@tipee-sa Lausanne, Switzerland
Simon Cruanes
c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.
Imandra (@imandra-ai) washington DC