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.