I am a programmer interested in Haskell, algorithms and theoretical
I currently work as a software developer of a high-frequency trading
platform at Gambit Research.
My e-mail address is firstname.lastname@example.org.
I am on GitHub
bachelor's thesis about a new graph algorithm,
master's thesis about using machine learning to verify properties of