CORTESI Agostino

Qualifica
Professore Ordinario
Telefono
041 234 8450
E-mail
cortesi@unive.it
egov@unive.it - CORTESI Agostino
SSD
INFORMATICA [INF/01]
Sito web
www.unive.it/persone/cortesi (scheda personale)
 http://www.dsi.unive.it/~cortesi
Struttura
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
Sede: Campus scientifico via Torino
Stanza: studio Z.B04 (edificio Zeta B)
Research Institute
Research Institute for Social Innovation
Research Institute
Research Institute for Complexity
Research Institute
Research Institute for Innovation Management

Dati relazione

Periodo di riferimento
03/02/2019 - 02/02/2022
Afferenza
Dipartimento di Scienze Ambientali, Informatica e Statistica
Ruolo
Professori Ordinari
A.A.InsegnamentoCodice VotoVoto medio area
2018/2019DATA PROGRAMMINGEM11023.23.1
2018/2019INGEGNERIA DEL SOFTWARECT00902.93.2
2018/2019RETI E SISTEMI INFORMATIVIEM60253.13.1
2018/2019SOFTWARE CORRECTNESS, SECURITY, AND RELIABILITYCM04763.23.2
2019/2020DATA PROGRAMMINGEM11027.77.6
2019/2020INGEGNERIA DEL SOFTWARECT00905.87.9
2019/2020RETI E SISTEMI INFORMATIVIEM60259.57.6
2019/2020SOFTWARE CORRECTNESS, SECURITY, AND RELIABILITYCM04768.67.9
2020/2021DATA PROGRAMMINGEM11028.47.8
2020/2021INGEGNERIA DEL SOFTWARECT00907.38.1
2020/2021RETI E SISTEMI INFORMATIVIEM60258.77.8
2020/2021SOFTWARE CORRECTNESS, SECURITY, AND RELIABILITYCM04766.48.1
Anno solareTipologiaTesi RelatoreTesi Correlatore
2019Corso di laurea14
2019Corso di laurea magistrale92
2020Corso di laurea9
2020Corso di laurea magistrale95
2021Corso di dottorato2
2021Corso di laurea11
2021Corso di laurea magistrale42
  • ADMIN4D: ADditive Manifacturing and INdustry 4.0 as innovation Driver
  • ADditive Manifacturing and INdustry 4.0 as innovation Driver (ADMIN4D)
  • CEVID 2016
  • EQUAL-IST 2016
  • EUTYPES - 2016
  • FAMILIES_SHARE
  • FilieraSicura: security of national infrastructures
  • Formal Specification for Secured Software System
  • Sistema domotico IoT integrato ad elevata sicurezza informatica per smart building
  • Information Systems
  • Progettazione di Sistemi Software per l'e-Government
  • Tecniche Formali per la Sicurezza
  • Tecniche di Analisi e Verifica dei Programmi
  • Panfili A.; Spano A.; Cortesi A. (2022), A Wearable System for Jump Detection in Inline Figure Skating in SENSORS, vol. 22, pp. 1650 (ISSN 1424-8220) (Articolo su rivista)
  • Cortesi A.; Berionni C.; Veeckman C.; Leonardi C.; Schiavo G.; Zancanaro M.; Cescon M.; Sangiuliano M.; Tampakis D.; Falelakis M. (2022), Families_Share: digital and social innovation for work–life balance in DIGITAL POLICY, REGULATION AND GOVERNANCE, vol. ahead-of-print (ISSN 2398-5038) (Articolo su rivista)
  • Mitra D.; Cortesi A.; Chaki N. (2022), ALEA: An Anonymous Leader Election Algorithm for Synchronous Distributed Systems , Lecture Notes in Networks and Systems in LECTURE NOTES IN NETWORKS AND SYSTEMS, Springer Science and Business Media Deutschland GmbH, vol. 255, pp. 46-58, Convegno: International Conference on Image Processing and Communications, IPandC 2021, International Conference on Computer Recognition Systems, CORES 2021 and International Conference on Advanced Computer Systems, ACS 2021, 2021 (ISBN 978-3-030-81522-6; 978-3-030-81523-3) (ISSN 2367-3370) (Articolo in Atti di convegno)
  • Arceri V.; Olliaro M.; Cortesi A.; Ferrara P. (2022), Relational String Abstract Domains , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, Springer Science and Business Media Deutschland GmbH, vol. 13182, pp. 20-42, Convegno: 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, 2022 (ISBN 978-3-030-94582-4; 978-3-030-94583-1) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • Arceri V.; Olliaro M.; Cortesi A.; Mastroeni I. (2021), Completeness of string analysis for dynamic languages in INFORMATION AND COMPUTATION, vol. 281, pp. 104791 (ISSN 0890-5401) (Articolo su rivista)
  • Roy S.; Shit B.; Sen S.; Cortesi A. (2021), Construction and distribution of materialized views in Non-binary data space in INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, vol. 17, pp. 205-217 (ISSN 1614-5046) (Articolo su rivista)
  • Chakraborty M.; Spano A.; Cortesi A. (2021), Geographic location based secure, dynamic and opportunistic RPL for distributed networks in AD HOC NETWORKS, vol. 123, pp. 102689 (ISSN 1570-8705) (Articolo su rivista)
  • Roy M.; Deb N.; Cortesi A.; Chaki R.; Chaki N. (2021), NFR-aware prioritization of software requirements in SYSTEMS ENGINEERING, vol. 24, pp. 158-176 (ISSN 1098-1241) (Articolo su rivista)
  • Roy M.; Deb N.; Cortesi A.; Chaki R.; Chaki N. (2021), Requirement-oriented risk management for incremental software development in INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, vol. 17, pp. 187-204 (ISSN 1614-5046) (Articolo su rivista)
  • Perez Gort M.L.; Olliaro M.; Cortesi A.; Feregrino Uribe C. (2021), Semantic-driven watermarking of relational textual databases in EXPERT SYSTEMS WITH APPLICATIONS, vol. 167, pp. 114013 (ISSN 0957-4174) (Articolo su rivista)
  • Das, Souvick; Deb, Novarun; Cortesi, Agostino; Chaki, Nabendu (2021), Sentence Embedding Models for Similarity Detection of Software Requirements in SN COMPUTER SCIENCE, vol. 2 (ISSN 2661-8907) (Articolo su rivista)
  • Ghosh, Partha; Sen, Soumya; Cortesi, Agostino (2021), Skyline computation over multiple points and dimensions in INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, vol. 17, pp. 141-156 (ISSN 1614-5046) (Articolo su rivista)
  • Ferrara P.; Mandal A.K.; Cortesi A.; Spoto F. (2021), Static analysis for discovering IoT vulnerabilities in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 23, pp. 71-88 (ISSN 1433-2779) (Articolo su rivista)
  • Chaki R.; Saeed K.; Cortesi A.; Chaki N. (2021), Preface , Advances in Intelligent Systems and Computing in ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING, Springer, vol. 1178, pp. v-vi (ISSN 2194-5357) (Prefazione/Postfazione)
  • Roy M.; Deb N.; Cortesi A.; Chaki R.; Chaki N. (2021), CARO: A Conflict-Aware Requirement Ordering Tool for DevOps , Proceedings of the IEEE International Conference on Requirements Engineering, IEEE Computer Society, pp. 442-443, Convegno: 29th IEEE International Requirements Engineering Conference, RE 2021, 2021 (ISBN 978-1-6654-2856-9) (Articolo in Atti di convegno)
  • Roy S.; Shit B.; Sen S.; Cortesi A. (2021), Construction of Materialized Views in Non-Binary Data Space , Lecture Notes in Networks and Systems in LECTURE NOTES IN NETWORKS AND SYSTEMS, Springer Science and Business Media Deutschland GmbH, vol. 242, pp. 93-110, Convegno: 8th International Doctoral Symposium on Applied Computation and Security Systems, ACSS 2021, 2021 (ISBN 978-981-16-4293-7; 978-981-16-4294-4) (ISSN 2367-3370) (Articolo in Atti di convegno)
  • Roy M.; Deb N.; Cortesi A.; Chaki R.; Chaki N. (2021), Dynamic Prioritization of Software Requirements for Incremental Software Development , Lecture Notes in Networks and Systems in LECTURE NOTES IN NETWORKS AND SYSTEMS, Springer Science and Business Media Deutschland GmbH, vol. 242, pp. 111-131, Convegno: 8th International Doctoral Symposium on Applied Computation and Security Systems, ACSS 2021, 2021 (ISBN 978-981-16-4293-7; 978-981-16-4294-4) (ISSN 2367-3370) (Articolo in Atti di convegno)
  • Ferrara, Pietro; Negrini, Luca; Arceri, Vincenzo; Cortesi, Agostino (2021), Static analysis for dummies: experiencing LiSA , SOAP 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Association for Computing Machinery, pp. 1-6, Convegno: 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (ISBN 9781450384681) (Articolo in Atti di convegno)
  • Negrini, Luca; Arceri, Vincenzo; Ferrara, Pietro; Cortesi, Agostino (2021), Twinning Automata and Regular Expressions for String Static Analysis , Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021 in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, Springer, vol. 12597, pp. 267-290, Convegno: 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (ISBN 978-3-030-67066-5; 978-3-030-67067-2) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • Perez Gort M.L.; Feregrino-Uribe C.; Cortesi A.; Fernandez-Pena F. (2020), A Double Fragmentation Approach for Improving Virtual Primary Key-Based Watermark Synchronization in IEEE ACCESS, vol. 8, pp. 61504-61516 (ISSN 2169-3536) (Articolo su rivista)
  • Lauko H.; Olliaro M.; Cortesi A.; Rocckai P. (2020), Abstracting strings for model checking of C programs in APPLIED SCIENCES, vol. 10, pp. 1-33 (ISSN 2076-3417) (Articolo su rivista)
  • Pietro Ferrara, Agostino Cortesi, Fausto Spoto (2020), From CIL to Java-bytecode: Semantics-based Translation for Static Analysis Leveraging in SCIENCE OF COMPUTER PROGRAMMING, vol. 191 (ISSN 0167-6423) (Articolo su rivista)
  • Spano A.; Cortesi A. (2020), Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability in SENSORS, vol. 20, pp. 1926 (ISSN 1424-8220) (Articolo su rivista)
  • Salvia R.; Cortesi A.; Ferrara P.; Spoto F. (2020), Intents Analysis of Android Apps for Confidentiality Leakage Detection , Advances in Intelligent Systems and Computing in ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING, Springer, vol. 1178, pp. 43-65 (ISBN 978-981-15-5746-0; 978-981-15-5747-7) (ISSN 2194-5357) (Articolo su libro)
  • Bernhard Dieber, Ruffin White, Sebastian Taurer, Benjamin Breiling, Gianluca Caiazza, Henrik Christensen, Agostino Cortesi (2020), Penetration testing ROS , Robot Operating System (ROS) The Complete Reference (Volume 4) in STUDIES IN COMPUTATIONAL INTELLIGENCE, Springer, vol. 831, pp. 183-225 (ISBN 978-3-030-20189-0) (ISSN 1860-9503) (Articolo su libro)
  • Amit Mandal, Pietro Ferrara, Yuliy Khlyebnikov, Agostino Cortesi, Fausto Spoto (2020), Cross-Program Taint Analysis for IoT Systems , ACM Symposium on Applied Computing, Association for Computing Machinery, Inc, Convegno: 35th ACM Symposium on Applied Computing (SAC 2020) (Articolo in Atti di convegno)
  • Deb N.; Roy M.; Chaki N.; Cortesi A. (2020), Generation of Safety and Liveness Complaint Automata from Goal Model Specifications , Proceedings - 16th European Dependable Computing Conference, EDCC 2020, Institute of Electrical and Electronics Engineers Inc., pp. 127-134, Convegno: 16th European Dependable Computing Conference, EDCC 2020, 2020 (ISBN 978-1-7281-8936-9) (Articolo in Atti di convegno)
  • (a cura di) Chaki N.; Chaki R.; Cortesi A. (2020), Advanced Computing and Systems for Security - Volume Nine in ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING, Springer Verlag, vol. 995, pp. v-vi (ISSN 2194-5357) (Curatela)
  • (a cura di) Chaki R.; Cortesi A.; Saeed K.; Chaki N. (2020), Advanced Computing and Systems for Security - Volume Ten in ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING, Springer Verlag, vol. 996, pp. v-vi (ISBN 9780444825216) (ISSN 2194-5357) (Curatela)
  • (a cura di) Chaki R.; Cortesi A.; Saeed K.; Chaki N. (2020), Advanced Computing and Systems for Security - Volume Twelve in ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING, Springer, vol. 1136, pp. v-vi (ISSN 2194-5357) (Curatela)
  • Sahoo, S; Fajge, AM; Halder, R; Cortesi, A; (2019), A Hierarchical and Abstraction-Based Blockchain Model in APPLIED SCIENCES, MDPI AG, vol. 9, pp. 2343 (ISSN 2076-3417) (Articolo su rivista)
  • White, Ruffin; Caiazza, Gianluca; Cortesi, Agostino; Cho, Young Im; Christensen, Henrik I. (2019), Black Block Recorder: Immutable Black Box Logging for Robots via Blockchain in IEEE ROBOTICS AND AUTOMATION LETTERS, vol. 4, pp. 3812-3819 (ISSN 2377-3766) (Articolo su rivista)
  • Pietro Ferrara; Amit Kr Mandal; Agostino Cortesi; Fausto Spoto (2019), Cross-Programming Language Taint Analysis for the IoT Ecosystem in ELECTRONIC COMMUNICATIONS OF THE EASST, vol. 77 (ISSN 1863-2122) (Articolo su rivista)
  • Angshuman Jana, Raju Halder, K. V. Abhishekh, S. D. Ganni, Agostino Cortesi (2019), Extending Abstract Interpretation to Dependency Analysis of Database Applications in IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol. 46, pp. 463-494 (ISSN 0098-5589) (Articolo su rivista)
  • Perez Gort M.L.; Feregrino-Uribe C.; Cortesi A.; Fernandez-Pena F. (2019), HQR-Scheme: A High Quality and resilient virtual primary key generation approach for watermarking relational data in EXPERT SYSTEMS WITH APPLICATIONS, vol. 138, pp. 112770 (ISSN 0957-4174) (Articolo su rivista)
  • Cortesi A.; Tripp O. (2019), Introduction to the special issue:SAAP-2017 (Static Analysis of Android Apps: Security and Privacy) in JOURNAL OF COMPUTER LANGUAGES, vol. 52, pp. 25 (ISSN 2590-1184) (Articolo su rivista)
  • Bhattacharya A.; Choudhury S.; Cortesi A. (2019), Replaceability and negotiation in a cloud service ecosystem in JOURNAL OF CLOUD COMPUTING, vol. 8, pp. 1-14 (ISSN 2192-113X) (Articolo su rivista)
  • Mandal, Amit Kr; Panarotto, Federica; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto (2019), Static analysis of Android Auto infotainment and on‐board diagnostics II apps in SOFTWARE-PRACTICE & EXPERIENCE, vol. 49, pp. 1131-1161 (ISSN 0038-0644) (Articolo su rivista)
  • Cortesi Agostino (2019), La valutazione nei Consigli Regionali , La valutazione del manager pubblico: novità normative e processi operativi, Wolters Kluwer, pp. 59-69 (ISBN 978-8-8133-7033-6) (Articolo su libro)
  • Ruffin White, Gianluca Caiazza, Henrik Christensen, Agostino Cortesi (2019), SROS1: Using and Developing Secure ROS1 Systems , Robot Operating System (ROS) (Volume 3), Springer, pp. 373-405 (ISBN 978-3-319-91589-0) (Articolo su libro)
  • Arceri V.; Olliaro M.; Cortesi A.; Mastroeni I. (2019), Completeness of Abstract Domains for String Analysis of JavaScript Programs , Theoretical Aspects of Computing in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, Springer, vol. 11884, pp. 255-272, Convegno: 16th International Colloquium on Theoretical Aspects of Computing, ICTAC 2019, 2019 (ISBN 978-3-030-32504-6; 978-3-030-32505-3) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • Gianluca Caiazza, Ruffin White, Agostino Cortesi (2019), Enhancing security in ROS , Advances in Intelligent Systems and Computing, vol.8, Springer, pp. 5-13, Convegno: 5nd International Doctoral Symposium on Applied Computation and Security Systems (ISBN 978-981-13-3701-7) (Articolo in Atti di convegno)
  • Chakraborty M.; Spano A.; Cortesi A. (2019), Geographic location based dynamic and opportunistic RPL for distributed networks , Computer Information Systems and Industrial Management in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, Springer Verlag, vol. 11703, pp. 120-131, Convegno: 18th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2019, 2019 (ISBN 978-3-030-28956-0; 978-3-030-28957-7) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • Ruffin White, Gianluca Caiazza, Chenxu Jiang, Xinyue Ou, Zhiyue Yang, Agostino Cortesi, Henrik Christensen (2019), Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems , EuroS&PW 2019, IEEE Computer Society Conference Publishing Services, Convegno: SSIoT 2019 - IEEE EuroS&P Workshop on Software Security for Internet of Things, at 4th IEEE European Symposium on Security and Privacy, 17/06/2019-19/06/2019 (ISBN 978-1-7281-3026-2) (Articolo in Atti di convegno)
  • Gort M.L.P.; Olliaro M.; Feregrino-Uribe C.; Cortesi A. (2019), Preventing Additive Attacks to Relational Database Watermarking , Research and Practical Issues of Enterprise Information Systems in LECTURE NOTES IN BUSINESS INFORMATION PROCESSING, Springer, vol. 375, pp. 131-140, Convegno: 13th IFIP WG 8.9 Working Conference on Research and Practical Issues of Enterprise Information Systems, CONFENIS 2019, 2019 (ISBN 978-3-030-37631-4; 978-3-030-37632-1) (ISSN 1865-1348) (Articolo in Atti di convegno)
  • Ruffin White, Gianluca Caiazza, Agostino Cortesi, Henrik I. Christensen (2019), Procedurally Provisioned Access Control for Robotic Systems , IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), IEEE/RSJ, Convegno: International Conference on Intelligent Robots and Systems (IROS) (Articolo in Atti di convegno)
  • Cortesi A.; Lauko H.; Olliaro M.; Rockai P. (2019), String Abstraction for Model Checking of C Programs , Model Checking Software in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, Springer, vol. 11636, pp. 74-93, Convegno: 26th International Symposium on Model Checking Software, SPIN 2019, 2019 (ISBN 978-3-030-30922-0; 978-3-030-30923-7) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • Mandal A.K.; Cortesi A.; Sarkar A.; Chaki N. (2019), Things as a service: Service model for IoT , IEEE International Conference on Industrial Informatics (INDIN) in IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, Institute of Electrical and Electronics Engineers Inc., vol. 2019-, pp. 1364-1369, Convegno: 17th IEEE International Conference on Industrial Informatics, INDIN 2019, 2019 (ISBN 978-1-7281-2927-3) (ISSN 1935-4576) (Articolo in Atti di convegno)
  • Spano A.; Cortesi A.; Zausa G. (2019), Type-driven cross-programming for android and LEGO Mindstorms interoperability , Computer Information Systems and Industrial Management in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, Springer Verlag, vol. 11703, pp. 191-209, Convegno: 18th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2019, 2019 (ISBN 978-3-030-28956-0; 978-3-030-28957-7) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • (a cura di) Agostino Cortesi ; Maria Sangiuliano (2019), Institutional Change for Gender Equality in Research in Maria Sangiuliano, Agostino Cortesi in SCIENZA E SOCIETA', Venezia, Edizioni Ca’ Foscari - Digital Publishing (ISBN 978-88-6969-334-2) (Curatela)
  • (a cura di) Chaki R.; Saeed K.; Cortesi A.; Chaki N. (2019), Preface in ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING, Springer Verlag, vol. 883, pp. v-vi (ISBN 9789811337017) (ISSN 2194-5357) (Curatela)
- Revisore progetti MIUR: PRIN, FIRB Futuro in Ricerca;
- Revisore di progetti dell'Università degli Studi di Padova e dell'Università degli Studi di Verona
- "Services and Business Process Reengineering", Springer-Nature - Series co-Editor in Chief
- "Journal of Computer Languages", Elsevier - Member of the Editorial Board
- "Journal of Universal Computer Science" - Member of the Editorial Board;
- "Informatica Umanistica" – Member of the Editorial Board.
- "Scienza e Società", Edizioni Ca' Foscari - Series Editor in Chief
Questo triennio è stato caratterizzato dalle attività di coordinamento dei seguenti progetti:
- H2020 ICT-CAPS "Families_Share"
- MIUR-MAE Italy-India "Formal Specification for Secured Software System"
- MIUR FISR 2020 "Families-to-Families for sharing children care"
- COST "EuTypes"
- UniVe SPIN "Requirement specification and static analysis of robotic software"
- FESR RIR “ADMIN4D – Additive Manufacturing and Industry 4.0 as Innovation Driver”
- FESR RIR “VIR2EM - Virtualization and Remotization for Resilient and Efficient Manufacturing"
- FSE RV “Design and validation of Blockchain Systems for e-commerce”

L'attività di ricerca si è concentrata sui seguenti ambiti, all'interno dell'area di Software Engineering:
- Progettazione e Sviluppo di un analizzatore statico per la verifica formale di codice sorgente (LiSA) e specializzazione per l'analisi di vulnerabilità di smart contracts per blockchains.
- Progettazione di Domini astratti su arrays e stringhe
- Progettazione di tecniche di watermarking per data base relazionali
- Progettazione di ambienti di specifica e verifica per sistemi software in ambito robotico
- Progettazione di strumenti di gestione dei conflitti tra requisiti non funzionali (in particolare relativi a security) - in collaborazione con l'Università di Calcutta.
- Invited Speaker at the Ninth International Workshop on Verification and Program Transformation, March 27th, 2021.
- Distinguished Lecture at IIIT Vadodara (India), December 17th, 2020.
- Program co-Chair of ACSS – Doctoral Symposium on Applied Computation and Security Systems (2019, 2020, 2021).
- Modulo di "Sistemi Informatici per il Turismo" per il Master in Economia del Turismo (tutto il periodo)
- Coordinatore del Collegio di Dottorato in Computer Science (tutto il periodo)
- Membro del Consiglio Direttivo del CINI, Consorzio Interuniversitario Nazionale per l'Informatica
- Vice-Direttore del Dipartimento DAIS (fino al 2019)
- Coordinatore del Data Monitoring Board di Ca' Foscari (fino al 2020)
- Presidente del CISET - Centro Internazionale di Studi sull'Economia del Turismo (fino al 2020)
- Presidente - CEV ANVUR Accreditamento Periodico Università Foro Italico
- Esperto di Sistema - CEV ANVUR Accreditamento Periodico Università Mediterranea di Reggio Calabria
- Componente del Collegio di Dottorato in Computer Science (tutto il periodo)
- Componente del Collegio Didattico del CdL magistrale in Governance delle Organizzazioni Pubbliche (tutto il periodo)
- Componente del Collegio Didattico del CdL in Digital Management (fino al 2020)
- Componente della Commissione Paritetica del DAIS (fino al 2020)
- Presidente dell'Organismo Indipendente di Valutazione del Consiglio Regionale del Veneto (fino al 2020)
- Valutazione di progetti di ricerca industriale per PugliaSviluppo (dal 2020)
- Attività di Formazione all'interno del programma ValorePA