About Ondřej

I am a computer programmer interested in fast computing, mathematical approaches, and Haskell. I currently work on low-latency trading software at Maven Securities and also develop an online turn-based strategy game Hexfray.

Blog Posts

Theses

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