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 (edificio Alfa)
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/2017 - 02/02/2020
Afferenza
Dipartimento di Scienze Ambientali, Informatica e Statistica
Ruolo
professore ordinario

Attività didattica

A.A.InsegnamentoCodice VotoVoto medio area
2016/2017DATA PROGRAMMINGEM11023.43.1
2016/2017INGEGNERIA DEL SOFTWARECT00903.13.1
2016/2017RETI E SISTEMI INFORMATIVIEM60253.23.1
2016/2017SOFTWARE CORRECTNESS, SECURITY, AND RELIABILITYCM04763.33.1
2017/2018DATA PROGRAMMINGEM11023.13.1
2017/2018INGEGNERIA DEL SOFTWARECT00902.63.2
2017/2018RETI E SISTEMI INFORMATIVIEM60252.83.1
2017/2018SOFTWARE CORRECTNESS, SECURITY, AND RELIABILITYCM04762.93.2
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

Tesi

Anno solareTipologiaTesi RelatoreTesi Correlatore
2017Corso di dottorato1
2017Corso di laurea4
2017Corso di laurea magistrale174
2017Corso di laurea specialistica1
2018Corso di dottorato1
2018Corso di laurea20
2018Corso di laurea magistrale15
2019Corso di laurea14
2019Corso di laurea magistrale92

Finanziamenti

  • ADMIN4D: ADditive Manifacturing and INdustry 4.0 as innovation Driver
  • ADditive Manifacturing and INdustry 4.0 as innovation Driver (ADMIN4D)
  • CEVID 2016
  • DESIGN OF A DATA-DRIVEN VULNERABILITY ANALYSER FOR ANDROID AUTO INFOTAINMENT APPS
  • 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

Ricerche sviluppate e in corso

  • Information Systems
  • Progettazione di Sistemi Software per l'e-Government
  • Tecniche Formali per la Sicurezza
  • Tecniche di Analisi e Verifica dei Programmi

Pubblicazioni realizzate nel triennio

  • 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)
  • Agostino Cortesi, Pietro Ferrara , Raju Halder , Matteo Zanioli (2018), Combining symbolic and numerical domains for information leakage analysis in TRANSACTIONS ON COMPUTATIONAL SCIENCE, vol. 31, pp. 98-135 (ISSN 1866-4733) (Articolo su rivista)
  • Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto (2018), CIL to Java-bytecode translation for static analysis leveraging in Pietro Ferrara, Agostino Cortesi, Fausto Spoto, Proceedings - International Conference on Software Engineering in PROCEEDINGS - INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, IEEE Computer Society, pp. 40-49, Convegno: 6th ACM/IEEE Conference on Formal Methods in Software Engineering, FormaliSE 2018, 2018 (ISBN 9781450357180) (ISSN 0270-5257) (Articolo in Atti di convegno)
  • Agostino Cortesi ; Martina Olliaro (2018), M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs , Proceedings of the IEEE 12th International Symposium on Theoretical Aspects of Software Engineering TASE 2018, IEEE, pp. 1-8, Convegno: International Symposium on Theoretical Aspects of Software Engineering (TASE), 29-31 Aug. 2018 (ISBN 978-1-5386-7305-8) (Articolo in Atti di convegno)
  • Mondin F.; Cortesi A. (2018), MySQL extension automatic porting to PDO for PHP migration and security improvement , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, Springer Verlag, vol. 11127, pp. 461-473, Convegno: 17th International Conference on Computer Information Systems and Industrial Management, CISIM 2018, 2018 (ISBN 978-3-319-99953-1; 978-3-319-99954-8) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • Samanta, Riya; Kumari, Chandni; Deb, Novarun; Bose, Sagar; Cortesi, Agostino; Chaki, Nabendu (2018), Node localization for indoor tracking using artificial neural network in Samanta, Riya, 3rd IEEE International Conference on Fog and Mobile Edge Computing, FMEC 2018, IEEE - Institute of Electrical and Electronics Engineers Inc., pp. 229-233, Convegno: 3rd IEEE International Conference on Fog and Mobile Edge Computing, FMEC 2018, 2018 (ISBN 9781538658963) (Articolo in Atti di convegno)
  • Rocco Salvia, Pietro Ferrara, Fausto Spoto, Agostino Cortesi (2018), SDLI: Static Detection of Leaks Across Intents , Proceedings - 17th IEEE International Conference on Trust, Security and Privacy in Computing and Communications and 12th IEEE International Conference on Big Data Science and Engineering, Trustcom/BigDataSE 2018, Institute of Electrical and Electronics Engineers Inc., pp. 1002-1007, Convegno: 17th IEEE International Conference on Trust, Security and Privacy in Computing and Communications and 12th IEEE International Conference on Big Data Science and Engineering, Trustcom/BigDataSE 2018, 2018 (ISBN 9781538643877) (Articolo in Atti di convegno)
  • Panarotto, Federica; Cortesi, Agostino; Ferrara, Pietro*; Mandal, Amit Kr; Spoto, Fausto (2018), Static analysis of android apps interaction with automotive CAN , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, Springer Verlag, vol. 11344, pp. 114-123, Convegno: 3rd International Conference on Smart Computing and Communications, SmartCom 2018, 2018 (ISBN 9783030057541) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • Mandal, Amit Kr; Cortesi, Agostino; Ferrara, Pietro; Panarotto, Federica; Spoto, Fausto (2018), Vulnerability analysis of android auto infotainment apps in Mandal, Amit Kr, 2018 ACM International Conference on Computing Frontiers, CF 2018 - Proceedings, Association for Computing Machinery, Inc, pp. 183-190, Convegno: 15th ACM International Conference on Computing Frontiers, CF 2018, 2018 (ISBN 9781450357616) (Articolo in Atti di convegno)
  • (a cura di) Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki (2018), Advanced Computing and Systems for Security - Volume Five in Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki in ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING, Springer Nature, vol. 666, pp. 1-179 (ISBN 978-981-10-8179-8; 978-981-10-8180-4) (ISSN 2194-5357) (Curatela)
  • (a cura di) Chaki, Rituparna; Saeed, Khalid; Cortesi, Agostino; Chaki, Nabendu (2018), Advanced Computing and Systems for Security - Volume Seven in ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING, Springer Verlag, vol. 897, pp. v-vi (ISBN 9789811332494) (ISSN 2194-5357) (Curatela)
  • (a cura di) Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki (2018), Advanced Computing and Systems for Security - Volume Six in Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki in ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING, Springer Nature, vol. 667, pp. 1-169 (ISBN 978-981-10-8182-8; 978-981-10-8183-5) (ISSN 2194-5357) (Curatela)
  • Di Giacomo, Francesco; Abbadi, Mohamed; Cortesi, Agostino; Spronck, Pieter; Costantini, Giulia; Maggiore, Giuseppe (2017), High performance encapsulation and networking in Casanova 2 in ENTERTAINMENT COMPUTING, vol. 20, pp. 25-41 (ISSN 1875-9521) (Articolo su rivista)
  • Pathan, Al-Sakib Khan; Zhang, Yudong; Bakshi, Sambit*; Siarry, Patrick; Sa, Pankaj Kumar; Chaki, Nabendu; Cortesi, Agostino (2017), Introduction to special issue on intelligent computing and adaptive systems in INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, vol. 13, pp. 241-242 (ISSN 1614-5046) (Articolo su rivista)
  • Chaki, Rituparna; Saeed, Khalid; Cortesi, Agostino; Chaki, Nabendu (2017), Preface , Advances in Intelligent Systems and Computing, Springer Verlag, vol. 567, pp. v-vi (ISBN 9789811034084) (Prefazione/Postfazione)
  • Chaki, Rituparna; Saeed, Khalid; Cortesi, Agostino; Chaki, Nabendu (2017), Preface , Advances in Intelligent Systems and Computing, Springer Verlag, vol. 568 (ISBN 9789811033902) (Prefazione/Postfazione)
  • Awan, Malik Khurram; Cortesi, Agostino (2017), Blockchain transaction analysis using dominant sets , Computer Information Systems and Industrial Management in LECTURE NOTES IN COMPUTER SCIENCE, Springer Verlag, vol. 10244, pp. 229-239, Convegno: 16th IFIP TC8 International Conference on Computer Information Systems and Industrial Management, CISIM 2017, 2017 (ISBN 9783319591049) (ISSN 1611-3349) (Articolo in Atti di convegno)
  • DI GIACOMO, Francesco; Abbadi, Mohamed; Cortesi, Agostino; Spronck, Pieter; Maggiore, Giuseppe (2017), Building Game Scripting DSL's with the Metacasanova Metacompiler in Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giuseppe Maggiore, Intelligent Technologies for Interactive Entertainment in LECTURE NOTES OF THE INSTITUTE FOR COMPUTER SCIENCES, SOCIAL INFORMATICS AND TELECOMMUNICATIONS ENGINEERING, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, SPRINGER INT PUBLISHING AG, vol. 178, pp. 231-242, Convegno: 8th International Conference, INTETAIN 2016, 28-30 Giugno (ISBN 978-3-319-49615-3; 978-3-319-49616-0) (ISSN 1867-8211) (Articolo in Atti di convegno)
  • Di Giacomo, Francesco; Abbadi, Mohamed; Cortesi, Agostino; Spronck, Pieter; Maggiore, Giuseppe (2017), Metacasanova: an optimized meta-compiler for Domain-Specific Languages , Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, ACM, Convegno: Software Language Engineering 2017, 23/10/2017 - 24/10/2017 (ISBN 978-1-4503-5525-4) (Articolo in Atti di convegno)
  • Eugenio, Enrico; Cortesi, Agostino (2017), WiFi-related energy consumption analysis of mobile devices in a walkable area by abstract interpretation , Distributed Computing and Internet Technology. Lecture Notes in Computer Science, Springer Verlag, vol. 10109, pp. 27-39, Convegno: 13th International Conference on Distributed Computing and Internet Technology, ICDCIT 2017, 2017 (ISBN 9783319504711; 9783319504711) (Articolo in Atti di convegno)

Partecipazione come referee di progetti di ricerca nazionali ed internazionali

Revisore progetti MIUR: PRIN, FIRB Futuro in Ricerca;

Revisore Progetti Università Italo-Francese (Bando Vinci)

Revisore di progetti dell'Università degli Studi di Padova e del'Università degli Studi di Verona.

Membro di PhD committees presso: University of Calcutta (India), University of Tilburg (The Netherland).

Partecipazione a comitati editoriali di riviste/collane scientifiche

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) - Chair of the Editorial Board

Co-Editor of the Special Issue on "Static Analysis of Android Apps: Security and Privacy", Computer Language, Elsevier, 2017.

Descrizione dell'attività di ricerca svolta nel triennio e gli obiettivi futuri

Questo triennio è stato caratterizzato dalle attività di coordinamento del progetto H2020 ICT-CAPS "Families_Share" e del progetto MIUR-MAE Italy-India "Formal Specification for Secured Software System".

L'attività di ricerca si è concentrata sui seguenti ambiti:
- Progettazione di Domini astratti per l'analisi astratta di programmi relativamente a valori numerici e testuali
- Progettazione e sviluppo di modelli e tools per la verifica di privacy compliance di applicazioni Android
- Progettazione e sviluppo di linguaggi e compilatori domain specific per games (Casanova), progetto in collaborazione con la Tilburg University.
- Studio di modelli algebrici ed algoritmi per l'ottimizzazione della gestione di basi di dati relazionali, progetto in collaborazione con la University of Calcutta.
- Specifica di requisiti non funzionali (in particolare relativi a security).

L'attività di ricerca è stata accompagnata da una intensa attività di trasferimento tecnologico finalizzata all'integrazione di sistemi di e-government e alla progettazione e sviluppo di applicazioni Android su Open Data, in collaborazione con la Direzione Sistemi Informativi della Regione Veneto e dallo studio delle problematiche di sicurezza per la manutenzione predittiva di un sistema industriale all'interno di un progetto FESR-RIR.

L'attività di terza missione relativa alla promozione della parità di genere in ambito ICT si è configurata con progetti a livello regionale (in collaborazione con la commissione Pari Opportunità della Regione Veneto) e a livello europeo (progetto H2020 Equal-Ist).

Menzioni e premi ricevuti

Best Paper Award - ACM Sigsoft 6th International Conference on Formal Methods in Software Engineering 2018

Seminari su invito tenuti presso altre Università, Centri di Ricerca, Aziende, etc.

- "Data Leakage Analysis of Android Apps", IIT Patna, 20/03/2017

Altre attività scientifiche

- Program Co-Chair of the 1st International Conference on Computational Intelligence and Data Engineering ICCIDE 2017;
- Program Co-Chair of the 17th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2018;
- Program Co-Chair of the 4th International Doctoral Symposium on Applied Computation and Security Systems, ACSS-2017
- Program Co-Chair of the 5th International Doctoral Symposium on Applied Computation and Security Systems, ACSS-2018
- Program Co-Chair of the 6th International Doctoral Symposium on Applied Computation and Security Systems, ACSS-2019
-

Altre attività didattiche

- Modulo di "Sistemi Informatici per il Turismo" per il Master in Economia del Turismo (tutto il periodo)

Incarichi accademici e attività organizzative

- Delegato del Rettore per i Rapporti con la Regione Veneto e la Fondazione Univeneto (tutto il periodo)
- Vice-Direttore del DAIS (tutto il periodo)
- Coordinatore del Data Monitoring Board di Ca' Foscari (tutto il periodo)
- Presidente del CISET - Centro Internazionale di Studi sull'Economia del Turismo (tutto il periodo)

Partecipazione alle attività di valutazione della ricerca

- Presidente - CEV Accreditamento Periodico Università Foro Italico
- Esperto di Sistema - CEV Accreditamento Periodico Università Mediterranea di Reggio Calabria
- Esperto di Sistema - CEV Accreditamento Periodico Università di Bari
- Esperto di Sistema - CEV Accreditamento Periodico Università di Foggia
- Presidente Commissione Finale di Accertamento ai sensi dell’art. 6, comma 9, del DM 593/00 Progetti PON-MIUR

Componente di Collegi didattici, Comitati e Commissioni di Dipartimento, Commissioni di Ateneo

- Componente del Collegio di Dottorato in Informatica (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 (tutto il periodo)
- Componente della Commissione Paritetica del DAIS (tutto il periodo)

Attività e incarichi esterni

Presidente dell'Organismo Indipendente di Valutazione del Consiglio Regionale del Veneto.