A little bit about me

MILESTONES

I was born in Pordenone (-> Friuli Venezia Giulia -> Italy) in 1983.12.23.

I had my secondary education in Pordenone, where I attended Liceo Scientifico M. Grigoletti.
Luckily that experience went fine, my final result was 100/100.

From september 2002 to December 2005 I attended my Bachelor studies in University of Udine, Computer Science Department. Luckily that experience went fine as well, I completed the Bachelor with 110/110 cum laude. At that time my supervisor was Prof. Furio Honsell.

From January 2006 to July 2008 I attendend my Master studies in University of Udine, Computer Science department. Luckily that experience went fine, I got my degree with 110/110 cum laude.
At that time my supervisor was Prof. Carla Piazza.

From October 2008 to September 2009 I was employed as research assistant by my current supervisor, Prof. David Sands. And now I am one of his PhD students.
One might ask how it will be this time. Trying to make it good, we will see in the end...

SUMMER SCHOOLS

FOSAD 2009

MARKTOBERDORF 2011

COURSES AS STUDENT @ CHALMERS

Parallel Architectures Design and Principles (Instructor: Prof S. McKee)

Advanced Functional Programming (Instructor: Prof. P. Jansson)

Automated Theorem Proving (Instructor: Prof. R. Hähnle)