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 email@example.com.
I am on GitHub
You can verify my identity using
bachelor's thesis about a new graph algorithm,
master's thesis about using machine learning to verify properties of