Curriculum

Titoli di Studio

  1. Laurea in Matematica con lode conseguita presso l'Università degli Studi di Parma il 14 Luglio 1997. Titolo della tesi "Analisi e Definizione di Linguaggi di Set-Constraint",relatore Prof. Gianfranco Rossi. 
  2. Dottorato di ricerca in Informatica conseguito presso l'Università degli Studi di Udine il 15 Marzo 2002. Titolo della tesi "Computing in Non Standard Set Theories", supervisore Prof. Alberto Policriti.

Borse di Studio

  1. Assegno di Ricerca presso l'Università Ca' Foscari di Venezia, Dipartimento di Informatica, nel periodo da Dicembre 2001 a Novembre 2003. Titolo dell'assegno "Modelli di Calcolo e Semantica", supervisore Prof. Agostino Cortesi.
  2. Borsa di Studio Europea presso l'Università Ca' Foscari di Venezia, Dipartimento di Informatica, nel periodo da Dicembre 2003 a Giugno 2004. Progetto Europeo "EU project IST-2001-32617 Models and Types for Security in Mobile Distributed Systems", supervisore Prof. Michele Bugliesi.
  3. Assegno di Ricerca presso l'Università degli Studi di Udine, Dipartimento di Informatica, nel periodo da Luglio 2004 a Dicembre 2004. Titolo dell'assegno "Applicazione di Tecniche di Model Checking per l Analisi di Sistemi Biologici", supervisore Prof. Alberto Policriti.
  4. Borsa di Mobilità dell'Area Science Park di Trieste per un periodo di ricerca presso il Bioinformatics Group, Courant Institute, New York University, nel periodo da Settembre 2004 a Dicembre 2004. Titolo della borsa "Applicazione di Tecniche di Verifica Informatica a Sistemi Biologici", supervisore Prof. Bud Mishra.

Periodi presso Universita' Straniere

  1. Da Gennaio a Luglio 2000, presso Institute for Logic, Language and Computation dell'Universita' di Amsterdam, Olanda.
  2. Aprile 2001, presso Departamento de Sistemas Informaticos y Computacion dell'Università Politecnica di Valencia, Spagna.
  3. Gennaio 2003 e Luglio 2003, presso il Bioinformatics Group, Courant Institute, New York University, USA.
  4. Da Settembre a Dicembre 2004, presso il Bioinformatics Group, Courant Institute, New York University, USA.
  5. Marzo 2007, Novembre 2007, Novembre 2008, presso, il Bioinformatics Group, Courant Institute, New York University, USA.

Posizioni Accademiche

  1. Da Gennaio 2005 ad Ottobre 2005, Ricercatore, settore INF01, Facoltà di Scienze Matematiche Fisiche e Naturali, Università degli Studi di Udine.
  2. Da Novembre 2005 ad oggi, Professore Associato, settore INF01, (ex Facoltà di Scienze Matematiche Fisiche e Naturali) Dipartimento di Scienze Matematiche, Informatiche e Fisiche, Università degli Studi di Udine.

Incarichi Accademici

  1. Membro del collegio dei docenti del corso di Dottorato del Dipartimento di Scienze Matematiche, Informatiche e  Fisiche, Università degli Studi di Udine. Periodo 2005-presente.
  2. Membro della commissione Erasmus Tirocini, Facoltà di Scienze Matematiche Fisiche e Naturali, Università degli Studi di Udine. Periodo 2008-2010.
  3. Direttore della Biblioteca Scientifica e Tecnologica, Università degli Studi di Udine. Periodo 2009-2011.
  4. Delegato del Rettore per le Biblioteche, Università degli Studi di Udine. Periodo 2011-2013.
  5. Vice-direttore del Dipartimento di Matematica e Informatica. Periodo 2012-2013.
  6. Delegato del Rettore per l'Open Access. Periodo 2013-2019.
  7. Referente di Ateneo per l'Open Access. Periodo 2019-presente.

Attivita' Didattica

  1. Corsi di Laurea Triennali: Algoritmi e Strutture Dati ­ L.T. in Tecnologie Web e Multimediali (2005­-oggi), Algoritmi e Strutture Dati L.T. in Informatica (2006-2007, 2013-oggi), Algoritmi e Strutture Dati L.T. in Internet of Things, Big Data and Web (2018-oggi), Informatica II ­ L.T. in Matematica (2002­-2009), Laboratorio di Algoritmi e Strutture Dati L.T. in Informatica (2002­-2004). 
  2. Corsi di Laurea Specialistica e Magistrale: Model Checking ­ L.S. in Informatica (2005), Algoritmi e Complessità ­L.S. in Informatica (2006­-2009), Laboratorio Avanzato di Algoritmi e Complessità L.S. in Informatica (2006­-2009), Algoritmica L.M. in Informatica (2010-oggi), Informatica III L.M. in Matematica (2010-oggi).
  3. Corsi per il Dottorato: Automi Ibridi (2011-2012).
  4. Corsi per la Scuola Superiore dell'Università di Udine: Dalla semantica operazionale all'analisi dinamica dei sistemi (2011-2012).

Interessi di Ricerca

  1. Metodi Formali per la Verifica.
  2. Model Checking.
  3. Information Flow Security.
  4. Sistemi Ibridi.
  5. Systems Biology (http://bioinf.dimi.uniud.it).

Pubblicazioni principali

 Da Scopus al 04.02.2020. risultano 49 articoli a conferenza, 32 articoli su rivista, 5 curatele, 1 capitolo in volume.

 

 

Tipo Informazione: