Didattica

• Anni accademici 1999/2000, 2000/2001, 2001/2002 e 2002/2003: professore incaricato per il corso di Linguaggi e Traduttori presso la Facoltà di Economia dell'Università di Trento.

• Anno accademico 2001/2002 e 2002/2003: professore incaricato per il corso di Informatica Umanistica presso la Facoltà di Lettere e Filosofia dell'Università di Trento.

• Agosto 2000: co-istruttore del corso dal titolo Contexts and contextual reasoning: foundations, logics and applications nell'ambito della 12th European Summer School in Logic, Language and Information (ESSLLI'2000), Birmingham (UK). Corso accettato formalmente dal Program Chair della scuola.

• Anni accademici 1998/99 e 1999/2000: responsabile del seminario di credito su Il Calcolo della Deduzione Naturale per la Logica Proposizionale valido per il corso di Logica 1998/99 tenuto dalla Dott.ssa Francesca Castellani presso la Facoltà di Sociologia dell'Università di Trento. Il seminario prevede l'utilizzo (via web) del dimostratore automatico di teoremi GETFOL.

• Marzo - Giugno 1998: collaboratore al corso di Logica 1997/98 tenuto dalla dott.ssa Francesca Castellani presso la Facoltà di Sociologia dell'Università di Trento. Durante il corso, è stato usato un dimostratore automatico di teoremi (GETFOL) come supporto tecnologico all'apprendimento della logica. Nominato membro della commissione di esame del corso di Logica.

• Anno accademico 1997/98: collaboratore al seminario su Formalizzazione delle credenze in Filosofia del Linguaggio e Intelligenza Artificiale nell'ambito del corso di Filosofia della Scienza 1997/98 tenuto dal Prof. Giuliano Di Bernardo presso la Facoltà di Sociologia dell'Università di Trento.

• Anno accademico 1996/97: membro della commissione di esame di Fondamenti di Informatica.

• Luglio 1996: co-istruttore al corso dal titolo `` Introduction to Contextual Reasoning. An Artificial Intelligence Perspective'' alla seconda International Summer School in Cognitive Science (CogSci'96), Sofia, luglio 1996.

• Marzo - Giugno 1996: membro della commissione della Prova di Informatica presso la Facoltà di Economia e Commercio dell'Università di Trento.

• Ottobre 1994 - Gennaio 1995: attività di supporto alla didattica nell'ambito del corso di Calcolo Automatico tenuto dal Prof. Fausto Giunchiglia presso l'Università degli Studi di Trento. Nominato membro della relativa commissione di esame.

• Ottobre 1993 - Gennaio 1994: attività di supporto alla didattica nell'ambito del corso di Calcolo Automatico tenuto dal Prof. Fausto Giunchiglia presso l'Università degli Studi di Trento. Nominato membro della relativa commissione di esame.