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
Makeblock
Makeblock-official
Founded in 2011, Makeblock is a leading DIY robotics construction and programming learning platform for makers, STEM learners, educators and hobbyists.
Makeblock Co., Ltd.