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

✦ ✦ ✦

Work Experience

Research Fellow
Applied Cryptography Group, ETH Zürich • [07/2026 - 08/2026]
Switzerland, Zürich 🇨🇭

Working with Kenny Paterson on a protocol for Oblivious Message Retrieval as part of the ETH Student Summer Research Fellowship. Results soon.

Intern L1zkEVM Team
Ethereum Foundation • [04/2026 - 06/2026]
Berlin, Germany 🇩🇪

Selected for the 2026 EF internship. Optimised the guest program for zkEVM (specifically Ethrex ↔ ZisK), reducing proving AIR-costs by 42%. Presented findings on zkEVM breakout call #06. Related blogs: ZisK Allocator Comparison, Compiler Optimization zkEVM.

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 Rutgers University • [05/2025 - 09/2025]
New Brunswick, New Jersey 🇺🇸

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

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.

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.

✦ ✦ ✦

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.

✦ ✦ ✦

Projects

View my projects and hackathon participations at projects page.