_____________

Date of Birth: 25/03/1975

Place of Birth: Rome

Address: Polo Informatico, via Madonna delle Carceri 9, 62032 Camerino (MC), Italy

Phone: (+39) 0737 402573

Fax: (+39) 0737 402561

E-mail: diletta.cacciagrano at unicam.it

____________________________________

__________________________________________

• From 2004..................University of Camerino, Camerino, Italy

RTD assistant professor at the Department of Mathematics and Computer Science.

• 1999-2000.................Parco Scientifico e Tecnologico d’Abruzzo, L’Aquila, Italy

Research activity on database design and development.

• 1999-2003.................University of L’Aquila, L’Aquila, Italy 

Research activity on formal methods, analysis, verification of concurrent and distributed systems.

• 2002..........................Pennstate University, State College, PA, USA 

Research activity on formal methods, analysis, verification of concurrent and distributed systems.

• 2001-02.....................University of  L’Aquila, L’Aquila, Italy 

Teaching activity, Course on Computer Science Laboratory.

• 2001-09......................University of Camerino, Camerino, Italy 

Teaching activity, Course on Operating Systems and Laboratory. 

• 2005-06......................Macerata Hospital, Macerata, Italy 

Teaching activity, Master “Analisi ed Elaborazione di Immagini Biomediche”.

• 2005-06-07-08............Ecole Politechnique, Paris, France 

Research activity on formal methods, analysis, verification of concurrent and distributed systems.

• 2009............................ITIS Marconi, Jesi, Italy 

Teaching activity, Course IFTS “Tecnico dell'ICT: tecnico superiore per la comunicazione ed il multimedia”.

• 2009............................ITIS Volterra, Ancona, Italy 

Teaching activity, Course IFTS  “Tecnico superiore per la supervisione ed il collaudo degli impianti elettrici e di automazione della nautica da diporto”.