Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
Join us in building a kind, collaborative learning community via our updated Code of Conduct.
107 reputation


I'm a Computer Science student at the Scuola Superiore of the University of Udine. I've been interested in Computer Science since high school. Being pretty good at school I've enrolled in one of the Schools of Excellence in Italy. In this institution I had the chance to follow many interesting courses not included in the standard CS curriculum: from Bioinformatics to Neural Networks, from Category Theory to Reverse Mathematics, from Logical Frameworks to Statistical Mechanics. During my enrollment I had to keep a very high mark score in my exams and I had periodic evaluation exams that taught me how to work and learn under pressure.

In the last 10 years I've been using quite a bit of , as you can see from my answers. In the last 3 years I have also been interested in functional programming, in particular in , and my Bachelor thesis project involved implementing in Haskell a type inferencer for Haskell inside an already existing research tool.

I have used during my Master thesis where I have implemented some advanced algorithms into an existing Eclipse plug-in developed at the University of Edinburgh (my contribution has not been released yet).

Other languages I've used include: (in particular in relation with the ),, , , .