Ivan Scagnetto Home Page

Who am I
I am a researcher in Computer Science at the Department of Mathematics and Computer Science of the University of Udine.

 

Research interests
Formal Methods, Computer Aided Formal Reasoning (CAFR), Process Algebras, Logical Frameworks.

 

Research activity
During my Ph.D. I worked in the field of Computer Aided Formal Reasoning (CAFR). In particular, I studied and contributed to develop a new axiomatic theory for encodings exploiting the Higher Order Abstract Syntax (HOAS) approach.

Recently I am focusing on mobile devices technologies as a member of the SMDC Lab. and a co-founder of MoBe Ltd.

If you are interested in this topic, you can take a glance at my list of papers.

 

Didattica (only in Italian)
Corso di Complementi di Tecnologie Web (Modulo di Tecnologie Lato Server) (Corso di Laurea in TWM - A.A. 2013/2014 e successivi).
Corso di Sistemi Operativi (Corso di Laurea in Informatica e TWM - A.A. 2014/2015 e successivi).
Corso di Laboratorio di Sistemi Operativi (Corso di Laurea in Informatica - A.A. 2013/2014 e successivi).
Corso di Sistemi Operativi (Corso di Laurea in Informatica/TWM - A.A. 2012/2013).
Corso di Sistemi Operativi (Corso di Laurea in Informatica/TWM - A.A. 2011/2012).
Corso di Sistemi e Programmazione Distribuita (Corso di Laurea Magistrale in Informatica - A.A. 2010/2011).
Corso di Sistemi Operativi (Corso di Laurea in Informatica/TWM - A.A. 2010/2011).
Corso di Sistemi Operativi (Corso di Laurea in Informatica - A.A. 2009/2010).
Corso di Sistemi Operativi (Corso di Laurea in Informatica - A.A. 2008/2009).
Corso di Sistemi Operativi (Corso di Laurea in Informatica - A.A. 2007/2008).
Corso di Laboratorio di Tecnologie Lato Server (Corso di Laurea in Informatica - A.A. 2006/2007).
Corso di Sistemi Operativi (Corso di Laurea in Informatica - A.A. 2006/2007).
Corso di Laboratorio di Sistemi Operativi (Corso di Laurea in Informatica - A.A. 2006/2007).
Corso di Laboratorio di Tecnologie Lato Server (Corso di Laurea in Informatica - A.A. 2005/2006).
Corso di Sistemi Operativi (Corso di Laurea in Informatica - A.A. 2005/2006).
Corso di Laboratorio di Sistemi Operativi (Corso di Laurea in Informatica - A.A. 2005/2006).
Corso di Informatica (Corso di Laurea Specialistica in Mediazione culturale. Lingue dell'Europa centrale e orientale - A.A. 2004/2005).
Corso di Laboratorio di Tecnologie Lato Server (Corso di Laurea in Informatica - A.A. 2004/2005).
Corso di Laboratorio di Sistemi Operativi (Corso di Laurea in Informatica - A.A. 2004/2005).
Corso di Laboratorio di Sistemi Operativi (Corso di Laurea in Informatica - A.A. 2003/2004).
Corso di Laboratorio di Sistemi Operativi (Corso di Laurea in Informatica - A.A. 2002/2003).
Corso di Informatica Documentale (Corso di Laurea in Conservazione dei Beni Culturali - A.A. 2003/2004).
Corso di Informatica Documentale (Corso di Laurea in Conservazione dei Beni Culturali - A.A. 2002/2003).

 

How to reach me
Address:
Dipartimento di Matematica e Informatica,
Via delle Scienze, n. 206, 33100 Udine
Phone number:
+39 0432 558451
E-mail: