
CORTESI Agostino
- Qualifica
- Professore Ordinario
- Telefono
- 041 234 8450
-
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)
Dati relazione
- Periodo di riferimento
- 03/02/2019 - 02/02/2022
- Afferenza
- Dipartimento di Scienze Ambientali, Informatica e Statistica
- Ruolo
- Professori Ordinari
Attività didattica
A.A. | Insegnamento | Codice | Voto | Voto medio area |
---|---|---|---|---|
2018/2019 | DATA PROGRAMMING | EM1102 | 3.2 | 3.1 |
2018/2019 | INGEGNERIA DEL SOFTWARE | CT0090 | 2.9 | 3.2 |
2018/2019 | RETI E SISTEMI INFORMATIVI | EM6025 | 3.1 | 3.1 |
2018/2019 | SOFTWARE CORRECTNESS, SECURITY, AND RELIABILITY | CM0476 | 3.2 | 3.2 |
2019/2020 | DATA PROGRAMMING | EM1102 | 7.7 | 7.6 |
2019/2020 | INGEGNERIA DEL SOFTWARE | CT0090 | 5.8 | 7.9 |
2019/2020 | RETI E SISTEMI INFORMATIVI | EM6025 | 9.5 | 7.6 |
2019/2020 | SOFTWARE CORRECTNESS, SECURITY, AND RELIABILITY | CM0476 | 8.6 | 7.9 |
2020/2021 | DATA PROGRAMMING | EM1102 | 8.4 | 7.8 |
2020/2021 | INGEGNERIA DEL SOFTWARE | CT0090 | 7.3 | 8.1 |
2020/2021 | RETI E SISTEMI INFORMATIVI | EM6025 | 8.7 | 7.8 |
2020/2021 | SOFTWARE CORRECTNESS, SECURITY, AND RELIABILITY | CM0476 | 6.4 | 8.1 |
Tesi
Anno solare | Tipologia | Tesi Relatore | Tesi Correlatore |
---|---|---|---|
2019 | Corso di laurea | 14 | |
2019 | Corso di laurea magistrale | 9 | 2 |
2020 | Corso di laurea | 9 | |
2020 | Corso di laurea magistrale | 9 | 5 |
2021 | Corso di dottorato | 2 | |
2021 | Corso di laurea | 11 | |
2021 | Corso di laurea magistrale | 4 | 2 |
Finanziamenti
- 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
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
- 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)
Partecipazione come referee di progetti di ricerca nazionali ed internazionali
- Revisore di progetti dell'Università degli Studi di Padova e dell'Università degli Studi di Verona
Partecipazione a comitati editoriali di riviste/collane scientifiche
- "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
Descrizione dell'attività di ricerca svolta nel triennio e gli obiettivi futuri
- 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.
Relazioni invitate presso convegni o workshops
Seminari su invito tenuti presso altre Università, Centri di Ricerca, Aziende, etc.
Altre attività scientifiche
Altre attività didattiche
Incarichi accademici e attività organizzative
- 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)
Partecipazione alle attività di valutazione della ricerca
- Esperto di Sistema - CEV ANVUR Accreditamento Periodico Università Mediterranea di Reggio Calabria
Componente di Collegi didattici, Comitati e Commissioni di Dipartimento, Commissioni di Ateneo
- 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)
Attività e incarichi esterni
- Valutazione di progetti di ricerca industriale per PugliaSviluppo (dal 2020)
- Attività di Formazione all'interno del programma ValorePA