Welcome! I am Niccolò, a Computer Science student at the University of Pisa. I really like programming and I have a particular interest in compilers, programming language theory and formal methods. I hope to focus on these topics during my career. Here you will find some of the things that i worked on.