Senior Developer with 20+ years experience
Login to Send EmailDescription
Zig
Elixir
PHP
Theorem provers (TLA+
Elm
TypeScript
cryptography
C++
Agda
JS
Clojure
React
Erlang
Rust
Node
Ansible
Perl
Isabelle HOL
Scala
AWS
C
Haskell
...)
Python
Docker
LLMs
SQL
Terraform
Vue
OCaml
20+ yoe as dev/IC. Multiple great exits and acquisitions. Built tech for Tezos, Oracle, Shell, Digitas, Saatchi & Saatchi, Time Warner, Sparkasse, Bank of America.