I am a computer science student at the Faculty of Electrical Engineering at the Czech Technical University.

I am interested in FOSS, theoretical underpinnings of computer science and mathematics.

• FOSS software: Linux, NixOS, Sway, Neovim, Matrix, Element
• Strongly typed and/or functional programming languages: Rust, Haskell, Agda, Rocq, Nix
• Category theory, logic, type theory, formalisation of mathematics, (linear) algebra