About

The long version.

A Czech computer scientist working on AI safety research and shipping AI products.


I’m a Czech computer scientist working at the intersection of AI safety research and applied AI — building production systems while doing research on scheming and deception detection in frontier language models. This page is the long version.

I.

Background

I started programming as a teenager and went through the eight-year selective gymnasium track at Gymnázium Mladá Boleslav. I briefly studied pharmaceuticals 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 is what pulled me into AI safety research — specifically, scheming and deception detection in frontier language models. Reasoning models like DeepSeek-R1 and Claude with extended thinking generate visible chains of thought, which both opens up new monitoring opportunities and creates new attack surfaces for deception. Detecting when these models are strategically misaligned is one of the central open problems in AI safety.

II.

Research direction

From September 2026 I’ll be doing my Master’s in Artificial Intelligence at MFF UK, with research focus on:

  • In-context scheming and deception detection in open-weight reasoning models — behavioral evaluation building on Apollo Research and Anthropic alignment-faking methodology.
  • Cross-lingual scheming evaluation — whether deceptive behaviors and chain-of-thought monitorability generalize across languages. An underexplored area; US research is constrained by language access.
  • Chain-of-thought faithfulness in reasoning models — when CoT is genuine reasoning versus post-hoc rationalization, and how that changes across model families and languages.
  • Practical alignment for production deployment — the context I encounter every day building Zoplio.
III.

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 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. I’m winding it down in 2026 to focus on Zoplio and scheming & deception detection research.

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

IV.

Education

Master’s in Artificial Intelligence (planned)

Continuing at the Faculty of Mathematics and Physics, Charles University. Research interests: scheming and deception detection in frontier language models, chain-of-thought analysis, cross-lingual evaluation, alignment.

Bachelor of Science, Computer Science

Bachelor’s thesis: Bitcoin Wallet for Advanced Users, supervised by RNDr. Filip Zavoral, Ph.D. Defence 18 Jun 2026; final state exam 21 Jun 2026.

Earlier

Brief detour at the University of Chemistry and Technology Prague (VŠCHT, 2022–2023, transferred). Eight-year selective gymnasium at Gymnázium Mladá Boleslav (2018–2022).

V.

Selected awards

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

Skills

Languages

  • Python
  • TypeScript
  • Kotlin
  • C++ (modern)
  • C
  • C#
  • Bash

AI / ML

  • PyTorch
  • Transformers
  • Reasoning models
  • inspect-ai
  • Anthropic MCP
  • RAG
  • Multi-agent orchestration

Frameworks & infra

  • Node.js
  • Next.js
  • FastAPI
  • Ktor
  • Jetpack Compose
  • Docker
  • PostgreSQL
  • Linux (Arch)
VII.

Languages spoken

  • Czech — native
  • English — professional working proficiency
VIII.

Elsewhere