About Ondřej

I am a computer programmer working on low-latency trading software and occasionally on turn-based strategy game Hexfray.

Blog Posts

Theses & publications

I wrote a bachelor's thesis and co-authored a paper about a new graph algorithm, and wrote a master's thesis and co-authored a paper about using machine learning to verify properties of probabilistic systems.