- Devops & co: NixOS, Terraform, AWS, Docker, Ansible, Linux admin, Distributed Systems, ... Quote from code review: "This is the most beautiful Bash code I've ever seen written"
- Fintech: Dev experience with banks and financial institutions. Launched Tezos and other major blockchains. Dozens of smart contract audits.
- Bizdev: Gamification, consumer modelling, data-driven retention and engagement
- Infosec: Cryptography, Red team testing, RE, audits, threat modeling, ...
- Other tech: Godot game engine, audio engineering (mastering), Verilog, VHDL
Management and business: Minor in Psychology, led and managed teams between 2 and 30 people, product design and gamification, hiring, executive and political outreach, media appearances, and a lot of other experience that won't fit in this post.
- Backend Programming: Rust, Zig, Haskell, Python, JS, TypeScript, Node, Vue, React, Elm, Scala, C, C++, SQL, Perl, PHP, Clojure, OCaml, Erlang, Elixir, Theorem provers (TLA+, Isabelle HOL, Agda), ...
- Devops & co: NixOS, Terraform, AWS, Docker, Ansible, Linux admin, Distributed Systems, ... Quote from code review: "This is the most beautiful Bash code I've ever seen written"
- Fintech: Dev experience with banks and financial institutions. Launched Tezos and other major blockchains. Dozens of smart contract audits.
- Bizdev: Gamification, consumer modelling, data-driven retention and engagement
- AI: LLMs, predictive text, machine vision (trajectory tracking), DSP, Big Data, ...
- Infosec: Cryptography, Red team testing, RE, audits, threat modeling, ...
- Other tech: Godot game engine, audio engineering (mastering), Verilog, VHDL
Management and business: Minor in Psychology, led and managed teams between 2 and 30 people, product design and gamification, hiring, executive and political outreach, media appearances, and a lot of other experience that won't fit in this post.