Skip to main content
Bakuriu's user avatar
Bakuriu's user avatar
Bakuriu's user avatar
Bakuriu
  • Member for 11 years, 7 months
  • Last seen more than a week ago
Stats
291
reputation
20k
reached
2
answers
0
questions
Loading…
About

I'm a Senior Software Developer at Aiven.

I studied 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.

In the last 17 years I've been using quite a bit of , as you can see from my answers. I'm 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.

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

Badges
This user doesn’t have any gold badges yet.
2
silver badges
6
bronze badges
16
Score
1
Posts
50
Posts %
16
Score
1
Posts
50
Posts %
16
Score
1
Posts
50
Posts %
16
Score
1
Posts
50
Posts %
16
Score
1
Posts
50
Posts %
2
Score
1
Posts
50
Posts %
Top posts