Undergraduate and graduate programmes offered by the University iuav of Venice:

Stefano Mazzanti

 

Professore associato

settore scientifico-disciplinare

INF/01 Informatica

 

Dipartimento di

Culture del progetto

 

contatti

tel. 041 257 1341

fax +39 041 257 1927

mazzanti@iuav.it

 

orario di ricevimento

giovedi dalle 17 alle 19

 

 

interessi di ricerca

informatica

 

 

Professore associato di Informatica in servizio presso l'Universitā Iuav di Venezia dal novembre 2002. Laureato in scienze dell'informazione presso il corso di laurea di scienze dell'informazione della Facoltā di scienze MM. FF. NN. dell'Universitā di Pisa nel 1983, č stato ricercatore presso l'Universitā di Udine, dove ha insegnato presso la facoltā di scienze MM. FF. NN. e la Facoltā di ingegneria.

 

Č recensore per “Mathematical Reviews” dell’American Mathematical Society e referee per riviste internazionali come “Theoretical Computer Science”, “Mathematical Structures in Computer Science”, “Information Processing Letters” e “Journal of Symbolic Logic”, ed č stato autore e consulente scientifico per la casa editrice Zanichelli. La sua attivitā di ricerca si svolge nell'ambito dell'informatica teorica e riguarda la semantica dei linguaggi di programmazione e la struttura dei processi di calcolo, per sviluppare la teoria classica della calcolabilitā e quella dei tipi di dati astratti, in modo da ottenere nuove tecniche per la definizione della semantica dei linguaggi di programmazione.

 

Pubblicazioni recenti:

S. Mazzanti (2012). CRN elimination and Substitution Bases for Complexity Classes. Fundamenta Informaticae, vol. 120, p. 29-58

D. Cancila, S. Mazzanti, "Dizionario Enciclopedico di Informatica, Zanichelli, 2009, 784 pp

S. Mazzanti, V. Milanese "Programmazione di applicazioni grafiche con Java", Apogeo, 2006

S. Mazzanti, "Bounded Iteration and unary functions", Mathematical Logic Quarterly 51 (2005) 89-94

 G. Germano, S. Mazzanti, "Peano Structures and the Semantics of Iteration", Proceedings of the Workshop COMETA 2003, Electronic Notes in Theoretical Computer Science 104 (2004) 149-162

 G. Germano, S. Mazzanti, "Cantor's diagrams: a unifying discussion of self-reference", Applied Categorical Structures, vol. 11, (2003), p. 313-336

 S. Mazzanti, "Plain bases for classes of primitive recursive functions", Mathematical Logic Quarterly, vol. 48, (2002), p. 93-104.