Dott. Ivan Scagnetto
Telefono +39 0432 558451
Stanza: SN 13
Sito web personale: http://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.
Attivita' 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.
