Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.
-
https://ahrefs.com/
- washington DC
-
14:49
(UTC -04:00) - https://simon.cedeela.fr
- @[email protected]