Hi, I’m Giulio Caflisch. I’m interested in formal scieces. I’m currently done with my Bachelor at ETH Zurich and I'm tired of the way things are done in universities. I’m looking to learn symbolic computing and computer formalization in order to collaborate in the future. In my free time I play with Lego bricks (especially Mindstorms and Technic).