Ivan Scagnetto

Ricercatore
Email: ivan.scagnetto@uniud.it
Stanza: SN13
Telefono: +39 0432 558451

Sito personale: www.dimi.uniud.it/scagnett

Breve curriculum

Nato a Laufen (Basilea, Svizzera) il 7 agosto 1972. Maturità Scientifica conseguita nel 1991 con la votazione di 60/60 presso il Liceo Scientifico Statale G. Marinelli (Udine). Laurea in Scienze dell'Informazione conseguita il 7 marzo 1997 con la votazione di 110 e lode/110 presso l'Università degli Studi di Udine. Dottorato in Informatica conseguito il 15 marzo 2002 presso l'Università degli Studi di Udine. Ricercatore presso il Dipartimento di Matematica e Informatica dell'Università degli Studi di Udine dal 2005.

Attività di ricerca

L'attività di ricerca si colloca nelle seguenti aree:
  • Metodi Formali per l'Informatica: in particolare nell'ambito del ragionamento formale assistito dal calcolatore (Computer Aided Formal Reasoning - CAFR) applicato alle algebre di processi e dei Logical Framework;
  • Dispositivi mobili, tecnologie wireless.

Progetti di ricerca

Progetto europeo TYPES for Proofs and Programs (nell'ambito di ricerca sul ragionamento formale assistito dal calcolatore).

Aree di ricerca dell'informatica

  • Fondamenti dell'informatica
  • Metodi formali e applicazioni
  • Sistemi mobili e wireless