I am a computer science student at the Faculty of Electrical Engineering at the Czech Technical University. I love learning about whatever interests me at the moment.

• FOSS software: Linux, NixOS, Sway, Neovim, Matrix, Element
• Strongly typed and/or functional programming languages: Rust, Agda, Nix
• Logic, type theory, formalisation of mathematics, algebra, complexity and computability theory