Skip to content
Back to talent search
ZigElixirPHPTheorem provers (TLA+ElmTypeScriptcryptographyC++AgdaJSClojureReactErlangRustNodeAnsiblePerlIsabelle HOLScalaAWSCHaskell...)PythonDockerLLMsSQLTerraformVueOCaml

Description

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.