Freelance
Computer Science Tutor
-
I am a 21 year old student located in Italy, currently undergraduate in Computer Science. My interests are mainly focused on learning applications of Logic using Agda, a strictly typed programming language and proof assistant. I like to commit in difficult challenges that enable me to get better in any skill. Sometimes I love to learn even things that not concerns this field, like sociology and psychology. I like writing and reading. Sometimes you will see me play some basketball too.