Matteo ZANIOLI

Qualifica
Docente a contratto
E-mail
matteo.zanioli@unive.it
Sito web
https://www.unive.it/persone/matteo.zanioli (scheda personale)
Struttura
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais

Ricevimento

Disponibile online o in presenza su appuntamento via e-mail. Si prega di specificare il motivo della richiesta.

Didattica anno corrente

COMPUTER SCIENCE AND INFORMATION TECHNOLOGY [CM90]
Laurea magistrale (DM270)

Didattica anni precedenti

COMPUTER SCIENCE AND INFORMATION TECHNOLOGY [CM90]
Laurea magistrale (DM270)

COMPUTER SCIENCE AND INFORMATION TECHNOLOGY [CM90]
Laurea magistrale (DM270)

Attività e competenze di ricerca

Pubblicazioni in evidenza

Agostino Cortesi, Pietro Ferrara , Raju Halder , Matteo Zanioli Combining symbolic and numerical domains for information leakage analysis in TRANSACTIONS ON COMPUTATIONAL SCIENCE, vol. 31, pp. 98-135 (ISSN 1866-4733)
DOI 2018, Articolo su rivista - Scheda ARCA: 10278/3702275


Freda, Annarita; Zanioli, Matteo Cloud e-commerce: the gap between technologies and laws
- URL correlato 2015, Performance - Scheda ARCA: 10278/3660215


HALDER R.; ZANIOLI M.; CORTESI A. Information Leakage Analysis of Database Query Languages , Proceedings of the 29th ACM Symposium on Applied Computing, ACM Press, pp. 813-820, Convegno: ACM SAC 2014 - 29th Symposium On Applied Computing, March 24 - 28, 2014 (ISBN 9781450324694)
DOI 2014, Articolo in Atti di convegno - Scheda ARCA: 10278/40732


ZANIOLI M.; FERRARA P.; CORTESI A. SAILS: Static Analysis of Information Leakage with Sample , Proceedings of the 27th ACM Symposium on Applied Computing, ACM Press, pp. 1308-1313, Convegno: ACM SAC 2012, March 26-30 (ISBN 9781450308571)
DOI 2012, Articolo in Atti di convegno - Scheda ARCA: 10278/27119


CORTESI A.; ZANIOLI M. Widening and Narrowing Operators for Abstract Interpretation in COMPUTER LANGUAGES, SYSTEMS & STRUCTURES, vol. 37(1), pp. 24-42 (ISSN 1477-8424)
DOI 2011, Articolo su rivista - Scheda ARCA: 10278/29334


Tutte le pubblicazioni

Curriculum vitae

Professional experience

Jun. 2021 – today: Head of Technology of Arsenalia
Sep. 2014 – today: Head of Technology of Alpenite
Jan. 2012 – Sep. 2014: Project manager and Account manager of international technology projects 

Education

Dec. 2016 – Jun. 2018: Executive MBA at Bologna Business School (BBS)
Sep. 2009 – May 2012: PhD in Computer Science at Ca’ Foscari University of Venice, Italy and Paris Diderot University (Paris 7), France
Sep. 2006 – Oct. 2008: MA in Computer Science at Ca’ Foscari University of Venice, Italy
Sep. 2003 – Jul. 2006: BA in Computer Science at Ca’ Foscari University of Venice, Italy

cafoscariNEWS