- 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, and a lot of other experience that won't fit in this post.
- Backend Programming: Python, JS, TypeScript, Node, Vue, React, C, C++, SQL, Perl, PHP
- FP: Haskell, Elm, Scala, Clojure, OCaml, Erlang, Elixir, Theorem provers (TLA+, Isabelle HOL, Agda, ...
- Fintech: Dev experience for banks and financial institutions. Launched Tezos and other major blockchains. Dozens of smart contract audits.
- Bizdev: Gamification, consumer modelling, data-driven retention and engagement
- Devops & co: Distributed Systems, Ansible, Terraform, AWS, Docker, Linux admin, ...
- 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, and a lot of other experience that won't fit in this post.