• English — C2 (Cambridge English)
• Spanish — A2
• Czech — native speaker

• JavaScript and TypeScript
• Python
• Go
• Rust
• C/C++
• Java
• Agda

• LaTeX
• Typst
• Markdown
• HTML
• CSS/SCSS
• QML
• FXML

• Web app frameworks/libraries: React, Angular: React, Angular
• Communication: Matrix, WebRTC
• Game engines: Unreal Engine (Blueprints)

• Linux - daily usage of Debian and NixOS
• Basic knowledge of: GIMP, Krita, DaVinci Resolve, Inkscape, Figma, Affinity Photo, Microsoft Windows

I wrote my high-school thesis about Using the Matrix Protocol for Video Calls (Využití protokolu Matrix pro videohovory). I have taken part in the SPA (Students' Professional Activities) with the thesis and have won the second place in the region round of the competition. The source code is hosted on GitHub and so is the thesis text and the slides for the thesis presentation. The thesis presentation video can be found on YouTube.

A demonstration of how one could implement an image editor in Java with features such as layers.

Rendering of a 3D cube on hardware provided by the Computer Architectures course at CTU FEE.

A demonstration of how one could implement a file transmitter application over UDP with Go-Back-N ARQ.

A demonstration of how one could implement Gaussian elimination in C++.

A spam filter implementation in Python using Naive Bayes with Laplace smoothing.

• Working on Element Web/Desktop
• Working on Element Call
• Working on Waterfall
• Working on the Matrix specification
• Occasionally working on other related projects
• Working on the VoIP team
• Mentoring colleagues

During my internship at Element, I was part of a team that worked on cascaded selective forwarding units. I presented our work on FOSDEM 2023 in the Cascaded Foci (Selective Forwarding Units) talk.

4 day programming boot camp at CTU FEE focused on teaching Python to students before their first semester.

I have been contributing to open source projects on GitHub and publishing my own work there for a while now. See a list of all my pull requests and my profile.

dotfiles is a repo containing my configuration files as well as info about my setup. I am currently running NixOS with a custom desktop environment built on top of Sway (before Hyprland) and Aylur's Gtk Shell.

• Linear combinations and linear spans of left modules rings
• Submodules of left modules over rings

A facial authentication software for Linux built in Rust inspired by Howdy.

• Fixed a bug where the tab bar would have visual defects after switching workspaces

A Discord Bot to perform Natural Language Processing (NLP) and related tasks.

• Fixed a bug which would cause monochrome LED devices not to work

• Wrote parts of MSC3401: Native Group VoIP Signalling
• Wrote parts of MSC3898: Native Matrix VoIP signalling for cascaded foci (SFUs, MCUs...)
• Wrote others MSCs to improve VoIP
• Rewrote MSC2285: Private read receipts
• Wrote MSC3827: Filtering of /publicRooms by room type
• Wrote MSC3786: Add a default push rule to ignore m.room.server_acl events
• Wrote MSC3985: Break-out rooms

• Rewrote parts of the VoIP stack, so that they are more flexible
• Implemented new VoIP features
• Added numerous features
• Fixed numerous bugs

• Implemented some of the underlying matrix-js-sdk 1:1 call logic
• Added numerous features
• Fixed numerous bugs

• Worked on getting Waterfall to connect to Matrix clients
• Added numerous features

• Implemented MSC2285: Private read receipts
• Implemented MSC3827: Filtering of /publicRooms by room type

• Rewrote a part of the widget for better extensibility
• Added numerous features

Taskizer aimed to be a free and open source task-management app with many features. From the perspective of today, the code is probably awful. Some if its features were:

• Nested tasks
• Scheduling
• Project importing
• System tray icon
• Keyboard shortcuts
• Repeated tasks
• Repeat presets
• Multiple themes
• Reminders

The Yeelight C++ API is a library for controlling Yeelight bulbs using C++.