Breve curriculum

- July 1996:

school-leaving certificate from "Liceo N. Copernico", specializing in scientific studies, with mark 48/60

- 8th March 2002:

Master degree in Computer Science from University of Udine, with the highest mark cum laude, thesis "Basi di dati e granularità temporali: un approccio basato su automi" ("Databases and time granularities: an automaton-based approach"), thesis advisor Prof. Angelo Montanari

- 1st November 2002:

grant for a triennial Ph.D. course in Computer Science at the University of Udine

- 31st March 2006:

Ph.D. degree in Computer Science from University of Udine, with thesis "Automata for Branching and Layered Structures" and advisor Prof. Angelo Montanari

- 9th August 2007:

"E.W. Beth Dissertation Prize 2006" award for the Ph.D. thesis "Automata for Branching and Layered Structures", granted by "Association of Logic, Language, and Information - FoLLI"

Attivita' di ricerca

- formal languages and automata theory
- decidability problems for classical and modal logics
- graph theory
- time granularities and satisfiability of temporal constraints
- temporal databases

Attivita' di formazione

Laboratorio di Basi di Dati e Sistemi Informativi
(C.d.L. in Informatica e C.d.L. in Tecnologie Web e Multimediali)

from March 2003 to May 2004 (24 hours) - University of Udine
from April 2004 to June 2004 (28 hours) - University of Udine
from April 2005 to June 2005 (24 hours) - University of Udine
from April 2006 to June 2006 (24 hours) - University of Udine
from April 2007 to June 2007 (24 hours) - University of Udine

Informatica II
(C.d.L. in Matematica)

from April 2004 to June 2004 (24 hours) - University of Udine

Laboratorio di Architettura degli Elaboratori
(C.d.L. in Informatica e C.d.L. in Tecnologie Web e Multimediali)

from February 2006 to March 2006 (25 hours) - University of Udine

Course material (in Italian):
- lezioni 09.02.2006 e 14.02.2006 (esercizi e soluzioni)
- lezioni 16.02.2006 e 21.02.2006 (esercizi e soluzioni)
- lezioni 23.02.2006 e 28.02.2006 (esercizi e soluzioni)
- lezioni 02.03.2006 e 07.03.2006 (esercizi e soluzioni)
- lezioni 09.03.2006 e 14.03.2006 (esercizi e soluzioni)
- lezione 16.03.2006 (esercizi e soluzioni)
- codice sorgente dei programmi Assembly MIPS

Programmazione C
(corso di Tecnico superiore per lo sviluppo software)

from March 2006 to May 2006 (57 hours) - Consorzio Formazione Pordenone

Verification of Infinite State Systems
(European Summer School in Logic Language and Information (ESSLLI) in Malaga)

from August 2006 to August 2006 (7 hours) - University of Malaga

Course material (in English):
- Lecture Notes
- Slides part 1
- Slides part 2
- Slides part 3
- Slides part 4
- Slides part 5
- Slides part 6
- Slides part 7

Informatica ed Archiviazione
(C.d.L. in Tecniche di radiologia medica per immagini e radioterapia)

from March 2007 to April 2007 (30 hours) - University of Udine

Model Checking
(C.d.L. in Informatica)

from June 2007 to June 2007 (16 hours) - University of Udine

Course material (in Italian):
- NuSMV model checker
      0-firstexample
      1-elevator
      2-trafficlight
      3-counters
      4-inverters
      5-goatcabbagewolf
      6-mutualexclusion
      7-crewaccess
      8-diningphilosophers
- Spin model checker
      0-firstexample
      1-simplescheduler
      2-blueisland
      3-pathfinder
      4-mutualexclusion
      5-crewaccess
      6-twophasecommit
      7-lossychannel

Università degli Studi di Udine

Breve curriculum

Attivita' di ricerca

Attivita' di formazione

Laboratorio di Basi di Dati e Sistemi Informativi (C.d.L. in Informatica e C.d.L. in Tecnologie Web e Multimediali)

Informatica II (C.d.L. in Matematica)

Laboratorio di Architettura degli Elaboratori (C.d.L. in Informatica e C.d.L. in Tecnologie Web e Multimediali)

Programmazione C (corso di Tecnico superiore per lo sviluppo software)

Verification of Infinite State Systems (European Summer School in Logic Language and Information (ESSLLI) in Malaga)

Informatica ed Archiviazione (C.d.L. in Tecniche di radiologia medica per immagini e radioterapia)

Model Checking (C.d.L. in Informatica)