Breve curriculum
Type of business or sector: Logic in Computer Science.
Education and training
Date: July 2006
Title of qualification awarded: Msc in Computer Science with highest mark cum laude.
Principal subjects/Occupational
skills covered:
Deep knowledge in Theoretical Computer Science, in particular Logics,Concurrent an Reactive systems verification,
Combinatorial Optimization, Implementation and Analysis of parallel algorithms.
Name and type of organization
providing education and training:
University of Udine.
Level in national or international classification:
Msc.
Date:
December 2003
Title of qualification awarded: Bachelor's Degree in Computer Science with highest mark cum laude.
Principal subjects/Occupational
skills covered:
Basic knowledge in Computer Science like programming, algorithms, digital circuits, network, operating systems.
Name and type of organization
providing education and training:
University of Udine.
Level in national or international classification:
Bachelor's Degree
Mothertongue: Italian
Other Language: English
