cv

Education

M.Sc. in Theoretical Computer Science
Charles University • [09/2024 - Present]
Prague, Czech Republic 🇨🇿

Degree focused on math foundations in complexity theory, cryptography, graph theory and algorithms.

Exchange Program in Computer Science (2 semesters)
Technical University Munich • [10/2024 - 09/2025]
Munich, Germany 🇩🇪

Selected courses in high-performance computing, cryptography, and blockchain engineering.

B.Sc. in Computer Science
Charles University • [10/2021 - 09/2024]
Prague, Czech Republic 🇨🇿

Thesis: On \(\mathcal{P}\mathfrak{lon}\mathcal{K}\) SNARK analyzed the IOP in detail and described associated cryptographic primitives. Moreover the thesis suggests optimization for arithmetization phase implemented on fork of ZK-Garage.

Advisor: Pavel Hubáček

• • •

Organizations

Education & Research Team
TUM Blockchain Club • [10/2024 - Present]
Munich, Germany 🇩🇪

Lead of the research track for the 2025 conference, responsible for inviting leading cryptographers and organizing the Ethereum Research Challenge hackathon.

Head of speakers team
TEDxYouth@Bratislava • [07/2019 - 03/2021]
Bratislava, Slovakia 🇸🇰

Head of the speakers team at TEDxYouth@Bratislava 2020.

• • •

Work Experience

BlockSprint: AI-Driven DAO Governance
Stablelab • [05/2025 - 09/2025]
Munich, Germany 🇩🇪

In this internship, we worked on a prototype of a personalized AI DAO delegate. I worked on smart contracts that allow delegation and voting across multiple DAOs in on-chain and off-chain settings.

Research Intern
Dimacs • [05/2025 - 09/2025]
New Brunswick, New Yersey 🇺🇸

Research in discrete mathematics under DIMACS on memory-query tradeoffs for property testing on graphs. Advisor: Sumegha Garg

</div>

ZK Cryptography Intern
MAYA-ZK • [06/2023 - 05/2024]
Prague, Czech Republic 🇨🇿

At MAYA-ZK, I worked on the development of zero-knowledge protocols. My primary focus was on the software side, optimizing and fine-tuning Rust implementation of PLONK zkSNARK.

Automation Intern Engineer
ComAp • [07/2022 - 09/2022]
Prague, Czech Republic 🇨🇿

Offered the internship after securing 2nd place at a UnIT Hackathon. Developed and maintained a Python-based testing environment for control solutions in smart power generation.

Application Programmer
AeroMobil • [01/2018 - 03/2019]
Bratislava, Slovakia 🇸🇰

I contributed to the development and prototyping of the flying car. As a programmer, I worked on applications calculating physics simulations for stress analysis of mechanical components.

• • •

Projects

View my technical projects and hackathon participations at projects page.