About me

I am a Master's student in Discrete Models and Algorithms at the Faculty of Mathematics and Physics, Charles University in Prague, where I also completed my Bachelor's degree in General Computer Science.

My academic interests lean toward theoretical computer science, particularly cryptography. I'm currently fascinated by zero-knowledge proof systems, lattice cryptography, and related technologies.

Outside of academics, I'm passionate about running, rock climbing, pole vaulting, and pretty much any sport that gets me moving.

University projects

Benchmarks of SP1 and RISC Zero zero-knowledge virtual machines.

MFF notes TeX

Class notes, exam preparation.

jPass Java

A simple java password manager.

btToF Java

Mobile application communicating with a ToF camera via Bluetooth.

Other projects

Linux based Microsoft's PowerToys utilities for XFCE desktop enviroment.

A Python console application to detect devices on your WiFi network.

i2a C

Image to Ascii converter made in C.

RelayRunPlanner JavaScript

A web application for real-time display of times, for optimizing runner segment schedules and much more, for races such as the Vltava Run, JizeRun, etc.

A C library for generating fractals and attractors with multiple output options.

Offline Android app: Dictionary of Foreign Words and Synonyms. The data source is ABZ.

Dungeon Crawl Pixel art Game initially made in 48 hours.

Full view