Master student in Computer Science at the University of Udine, Italy.
Loves math, logic, and mathematically-inspired programming. Proficient in Modern C++ and steadily improving in Haskell skills.