Why I was so excited to learn about ANVUR.
Statement for the EATCS Council election
Turing machines (part of ExperimentOne).
Some recent papers
List of publications
I am a member of the Games, Algorithms, and Security Lab.
Some of my research is funded by
Teaching (for academic year 2015/2016):
List of available senior thesis (in italian)
Some interesting pages
Uefa results and standings.
Long-term project: get complete control over notation.
Logic vs Word