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.
- Element creation event in Halogen July 2020
- Probability of 22 June 2020
- Encoding issues with Hakyll & Nix June 2020
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.