Computer scientist and software engineer specializing in algorithm design and discrete mathematics. Currently pursuing a Master’s Degree in Discrete Models and Algorithms at the Faculty of Mathematics and Physics at Charles University in Prague, with a thesis focused on streaming algorithms, quantile estimation and differential privacy.
With a background spanning both theoretical computer science and practical software engineering, seeking to apply deep foundational knowledge to real-world problems. Skilled in Python, C++, and Linux.
Passionate about open-source software, computer security, privacy, and effective altruism. Co-organizer of Kasiopea, a national programming competition for high school students, since 2019.
Education
Master’s Degree in Discrete Models and Algorithms
- Led the tutorials on Algorithms and Data Structures I.
- Thesis supervised by Mgr. Pavel Veselý, Ph.D.
- Researching the use of differential privacy in streaming algorithms for quantile estimation.
Bachelor’s Degree in Foundations of Computer Science
- Graduated with distinction.
- Thesis supervised by doc. Mgr. Martin Koutecký, Ph.D.
- Paper based on my bachelor thesis was accepted at SEA 2024.
Publications
Skills
- Theory: Discrete Mathematics, Graph Algorithms, Differential Privacy, Optimization, Probabilistic Algorithms
- Programming Languages: Python, C++, familiar with Go, Haskell, C#
- Web: familiar with Vue.js, NextJS, React, Django
- Systems: Linux, Git, Ansible, Docker, Nix, Bash
Work Experience
Learning Equality
Google Summer of Code Contributor
As a Google Summer of Code contributor, worked with Learning Equality, an organization focused on creating Kolibri, open-source, offline-first educational software for use in developing regions. The objective of the project was to implement a new Community Library feature in Kolibri.
Getting accepted required thoroughly researching and understanding the existing codebase and problem at hand, proposing a suitable approach, and preparing a project proposal detailing the solution. Following acceptance, responsibilities included implementing both the backend and frontend parts of the solution, writing tests, and documenting the code.
- Selected as one of ~1,200 contributors from over 15,000 applicants.
- Successfully passed both the mid-term and final evaluations, receiving positive feedback from the mentor and the organization.
- Implemented significant parts of the Community Library feature in Kolibri Studio, including the backend API, frontend UI, and test coverage, providing a foundation for future completion.
Luxonis
Factory Software Engineer
- Maintained production continuity part-time in a role previously staffed full-time, while gradually refactoring and improving the legacy codebase.
- Automated the setup of testing devices via Ansible, which solved recurring issues with environment inconsistencies between devices.
Customer Application Developer
- Proposed a modular pipeline architecture that abstracted each vision application (distance tracking, worker safety guardrails, etc.) as a composable unit, which the team adopted over a monolithic conditional design.
- Proposed and implemented a docker-based approach for cross-compiling the software for the camera, which replaced native compilation on the cameras and led to an at least 10x decrease in compilation time, which significantly sped up the development process.
- Advocated for and established a peer code review process, which led to the customer repeatedly expressing satisfaction with the improved code quality.
- Designed and led the technical part of a series of hiring interviews; candidate was hired and remained on the team.