About

The long version.

A Czech computer scientist who ships production systems and is turning that discipline toward AI safety.

I’m a Czech computer scientist working at the intersection of applied AI and AI safety — shipping production systems as a founder while building, in public, a research track on how oversight of language models breaks. This page is the long version.

01

Background

I started programming as a teenager and went through the eight-year selective gymnasium track at Gymnázium Mladá Boleslav. I briefly studied pharmaceutical synthesis at VŠCHT before transferring to computer science at the Faculty of Mathematics and Physics, Charles University (MFF UK), where I’m finishing my Bachelor’s degree in 2026.

My early projects were systems-flavoured — a RISC-V operating system kernel with a 3-person team, a custom Bitcoin transaction backtester in C++, an Ant Colony Simulator in Unity exploring emergent intelligence from local rules. The thread connecting them is curiosity about what makes complex behaviour appear from simple components.

That same thread pulled me toward AI safety. Reasoning models “think out loud” in a visible chain of thought, and one of the field’s main hopes is that we can read those thoughts and catch strategic misbehaviour — scheming, deception, sandbagging — before it lands. That hope is fragile, and measuring exactly where it breaks is work that rewards careful engineering more than credentials. That is the bet I’m making.

02

Research direction

From October 2026 I’ll be doing my Master’s in Artificial Intelligence at MFF UK. My research theme is multilingual robustness of AI oversight — safety tooling is built and tested overwhelmingly in English, and I study what happens to it in the other several thousand languages:

  • Cross-lingual chain-of-thought monitorability — when a monitor’s ability to catch deceptive reasoning drops outside English, is the failure in the monitor or in the model? A translate-then-monitor experiment can decide, and each answer has a different policy consequence. This is my first project (“Lost in the Monitor”, results expected autumn 2026).
  • Language mixing as a covert channel — reasoning models naturally code-switch mid-thought; can that hide scheme-relevant reasoning from monitors, and how cheaply can a normalisation defence close the gap?
  • Evaluation awareness across languages — models increasingly notice when they are being tested; whether that awareness (latent and verbalised) is language-bound reframes how much non-English evals can be trusted.
  • Practical alignment for production deployment — the context I encounter every day building Zoplio.

Native Czech — a mid-resource language where I can do the human verification most labs can’t do in-house — is a deliberate part of the method, not a gimmick.

03

What I’m building

Alongside the research, I’m co-founder and CTO at Zoplio. We’re building the AI scheduling primitive — a hosted API any application can embed to delegate meeting negotiation. The technical core is an agent runtime: a bilateral negotiation protocol between agents, confidence-scored memory of how a person actually wants to be scheduled, an LLM-driven conversation engine, and integrations for Google Calendar, WhatsApp, and Stripe. We’re backed by BUDETO Studio (€50k pre-seed).

I also co-founded Boletiqo with Lukáš Hellesch — an AI company platform where autonomous agent teams plan, ship, sell, and close. We reached Red Bull Basement ’26 Czech Republic national top 10, and I wound it down in 2026 to focus. Watching our own agents misrepresent intermediate results and produce convincing post-hoc justifications at the edge of their capability was a formative push toward oversight research.

I view the founder side as a useful counterweight to research: it forces me to take AI deployment realities seriously, and it puts me in the room when models actually break.

04

Education

Master’s in Artificial Intelligence (planned)

Continuing at the Faculty of Mathematics and Physics, Charles University. Research theme: multilingual robustness of AI oversight — chain-of-thought monitorability, deception evals, cross-lingual evaluation.

Bachelor of Science, Computer Science

Bachelor’s thesis: Bitcoin Wallet for Advanced Users, supervised by RNDr. Filip Zavoral, Ph.D., defended 18 Jun 2026. Degree completion 2026.

Earlier

Brief detour at the University of Chemistry and Technology Prague (VŠCHT, 2022–2023, transferred). Selective gymnasium at Gymnázium Mladá Boleslav (maturita 2022).

05

Selected awards

  • Red Bull Basement ’26 — Czech Republic National Top 10
  • BUDETO Studio — backed founder (€50k pre-seed for Zoplio)
  • SCIO Mathematics — 98th percentile
  • Podnikni to! — CTU Entrepreneurship Program
06

Skills

Shipped in production

  • Python
  • TypeScript
  • Kotlin
  • C++ (modern)
  • C
  • LLM APIs (Claude · Gemini · GPT)
  • Anthropic MCP
  • Multi-agent orchestration
  • RAG
  • Node.js
  • FastAPI
  • Ktor
  • Jetpack Compose
  • Docker
  • PostgreSQL
  • Linux (Arch)

Building depth in — learning in public

  • Behavioural evals (Inspect)
  • PyTorch
  • vLLM / local inference
  • Reasoning-model behaviour
  • Eval statistics

I keep these two lists separate on purpose: the first is what I’ve shipped and been paid for; the second is the research toolkit I’m acquiring with the project itself, in public.

07

Languages spoken

  • Czech — native
  • English — professional working proficiency
08

Elsewhere