CORTESI Agostino
| Qualifica | Professore Ordinario |
|---|---|
| Telefono | 041 234 8450 |
|
cortesi@unive.it
egov@unive.it - CORTESI Agostino |
|
| 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 |
| Research Institute | Research Institute for Social Innovation |
| Research Institute | Research Institute for Complexity |
| Research Institute | Research Institute for Innovation Management |
| Incarichi |
Componente del Data Monitoring Board |
Dati relazione
| Periodo di riferimento | 01/11/2014 - 31/10/2017 |
|---|---|
| Afferenza | Dipartimento di Scienze Ambientali, Informatica e Statistica |
| Ruolo | Professori ordinari |
Attività didattica
| A.A. | Insegnamento | Codice | Voto (max 4) | Voto medio area (max 4) |
|---|---|---|---|---|
| 2014/2015 | ANALYSIS AND VERIFICATION OF SOFTWARE | CM0230 | 3.4 | 3.1 |
| 2014/2015 | ELEMENTI DI INFORMATICA | FT0058 | 3.1 | 3.3 |
| 2014/2015 | INGEGNERIA DEL SOFTWARE | CT0090 | 2.6 | 3.1 |
| 2014/2015 | RETI E SISTEMI INFORMATIVI | EM6025 | 3.2 | 3 |
| 2015/2016 | DATA PROGRAMMING | EM1102 | 3.4 | 3.1 |
| 2015/2016 | INGEGNERIA DEL SOFTWARE | CT0090 | 2.9 | 3.1 |
| 2015/2016 | RETI E SISTEMI INFORMATIVI | EM6025 | 3.2 | 3.1 |
| 2015/2016 | SOFTWARE CORRECTNESS, SECURITY, AND RELIABILITY | CM0476 | 3.1 | 3.1 |
| 2016/2017 | DATA PROGRAMMING | EM1102 | 3.4 | 3.1 |
| 2016/2017 | INGEGNERIA DEL SOFTWARE | CT0090 | 3.1 | 3.1 |
| 2016/2017 | RETI E SISTEMI INFORMATIVI | EM6025 | 3.2 | 3.1 |
| 2016/2017 | SOFTWARE CORRECTNESS, SECURITY, AND RELIABILITY | CM0476 | 3.3 | 3.1 |
Tesi
| Anno solare | Tipologia | Tesi Relatore | Tesi Correlatore |
|---|---|---|---|
| 2014 | Corso di laurea | 10 | |
| 2014 | Corso di laurea magistrale | 8 | |
| 2015 | Corso di laurea | 4 | |
| 2015 | Corso di laurea magistrale | 3 | |
| 2016 | Corso di laurea | 5 | |
| 2016 | Corso di laurea magistrale | 6 | 1 |
Finanziamenti
- CEVID 2016
- Donne e ICT - 2014
- Donne e Tecnologia - 2015
- EQUAL-IST 2016
- EUTYPES - 2016
- Ricerca e sperimentazione per le attività di ridisegno e trasformazione della Pubblica Amministrazione nell’ottica del digital first
- Security Horizons
- Smart eGovernment Dashboard (SmeD) - 2013
- Un nuovo modo di produrre, personalizzare, assistere ed integrare il software gestionale - 2013
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
- 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), 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)
- Sen, Soumya; Cortesi, Agostino; Chaki, Nabendu (2016), Hyper-Lattice Algebraic Model for Data Warehousing , Springer International Publishing, pp. 1-63 (ISBN 9783319280448; 9783319280448) (Monografia o trattato scientifico)
- Chakraborty, Supriya; Cortesi, Agostino; Chaki, Nabedu (2016), A uniform representation of multi-variant data in intensive-query databases in INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, vol. 12, pp. 1-14 (ISSN 1614-5046) (Articolo su rivista)
- Halder, Raju; Jana, Angshuman; Cortesi, Agostino (2016), Data leakage analysis of the hibernate query language on a propositional formulae domain in TRANSACTIONS ON LARGE-SCALE DATA- AND KNOWLEDGE-CENTERED SYSTEMS, vol. 9480, pp. 23-44 (ISSN 1869-1994) (Articolo su rivista)
- DI GIACOMO, Francesco; Abbadi, Mohamed; Cortesi, Agostino; Spronck, Pieter; Maggiore, Giuseppe (2016), 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, Springer, vol. 178, 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)
- Barbon, Gianluca; Cortesi, Agostino; Ferrara, Pietro; Steffinlongo, Enrico (2016), DAPA: Degradation-aware privacy analysis of Android apps , Security and Trust Management, Lecture Notes in Computer Science, Volume 9871, Springer-Verlag, vol. 9871, pp. 32-46, Convegno: STM 2016, 2016 (ISBN 978-331946597-5) (Articolo in Atti di convegno)
- Sen, Soumya; Ghosh, Partha; Cortesi, Agostino (2016), Materialized view construction using linearizable nonlinear regression , Advanced Computing and Systems for Security in ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING, Springer Verlag, vol. 395, pp. 261-276, Convegno: 2nd International Doctoral Symposium on Applied Computation and Security Systems, ACSS 2015, 2015 (ISBN 9788132226482; 9788132226482) (ISSN 2194-5357) (Articolo in Atti di convegno)
- SOUMYA SEN; AGOSTINO CORTESI; NABENDU CHAKI (2016), ROLAP based data warehouse schema to XML schema conversion , Proceedings 2016 IEEE International Conference on Industrial Technology (ICIT), IEEE, pp. 1736-1741, Convegno: 2016 IEEE International Conference on Industrial Technology (ICIT), 14-17 March, 2016 (ISBN 9781467380751) (Articolo in Atti di convegno)
- (a cura di) Chaki, Rituparna; Cortesi, Agostino; Saeed, Khalid; Chaki, Nabendu (2016), Advanced computing and systems for security in Chaki, R., Cortesi, A., Saeed, K., Chaki, N. in ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING, Springer Verlag, vol. 395 (ISBN 9788132226482; 9788132226482) (ISSN 2194-5357) (Curatela)
- Costantini, Giulia; Ferrara, Pietro.; Cortesi, Agostino (2015), A suite of abstract domains for static analysis of string values in SOFTWARE, PRACTICE AND EXPERIENCE, vol. 45, pp. 245-287 (ISSN 1097-024X) (Articolo su rivista)
- Cortesi, A.; Costantini, G.; Ferrara, P. (2015), The abstract domain of Trapezoid Step Functions in COMPUTER LANGUAGES, SYSTEMS & STRUCTURES, vol. 43, pp. 41-68 (ISSN 1477-8424) (Articolo su rivista)
- Abbadi, Mohamed; DI GIACOMO, Francesco; Cortesi, Agostino; Pieter, Spronck; Giulia, Costantini; Giuseppe, Maggiore (2015), Casanova: A simple, high-performance language for game development , Serious Games - First Joint International Conference, JCSG 2015 in LECTURE NOTES IN COMPUTER SCIENCE, Springer, vol. 9090, pp. 123-134, Convegno: JCSG 2015, June 3-4, 2015 (ISBN 978-3-319-19125-6) (ISSN 0302-9743) (Articolo in Atti di convegno)
- Cortesi, Agostino; Ferrara, Pietro; Pistoia, Marco; Tripp, Omer (2015), Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications , Verification, Model Checking, and Abstract Interpretation in LECTURE NOTES IN COMPUTER SCIENCE, Springer Verlag, vol. 8931, pp. 61-79, Convegno: 16th International Conference on verification, Model Checking and Abstract Interpretation, VMCAI 2015, January 12-14, 2015. (ISBN 978-3-662-46080-1; 978-3-662-46081-8) (ISSN 0302-9743) (Articolo in Atti di convegno)
- Abbadi, Mohamed ; Di Giacomo, Francesco; Cortesi, Agostino; Spronck, Pieter; Costantini, Giulia; Maggiore, Giuseppe (2015), High performance encapsulation in Casanova 2 , Computer Science and Electronic Engineering Conference (CEEC), 2015 7th, IEEE, pp. 201-206, Convegno: 7th Computer Science and Electronic Engineering Conference (CEEC), 2015, 24-25/06/2015 (ISBN 9781467394819) (Articolo in Atti di convegno)
- Jana, Angshuman; Halder, Raju; Chaki, Nabendu; Cortesi, Agostino (2015), Policy-Based Slicing of Hibernate Query Language , Computer Information Systems and Industrial Management in LECTURE NOTES IN COMPUTER SCIENCE, Springer Verlag, vol. 9339, pp. 267-281, Convegno: 14th IFIP TC 8 International Conference on Computer Information Systems and Industrial Management, CISIM 2015, September 24–26, 2015 (ISBN 978-3-319-24368-9; 978-3-319-24369-6) (ISSN 0302-9743) (Articolo in Atti di convegno)
- Barbon, Gianluca; Cortesi, Agostino; Ferrara, Pietro; Pistoia, Marco; Tripp, Omer (2015), Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis in Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp, Computer Information Systems and Industrial Management in LECTURE NOTES IN COMPUTER SCIENCE, Springer, vol. 9339, pp. 3-23, Convegno: 14th IFIP TC 8 International Conference on Computer Information Systems and Industrial Management, CISIM 2015, September 24–26, 2015. (ISBN 978-3-319-24368-9; 978-3-319-24369-6) (ISSN 0302-9743) (Articolo in Atti di convegno)
- Jana, Angshuman; Halder, Raju; Cortesi, Agostino (2015), Verification of hibernate query language by abstract interpretation , Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques in LECTURE NOTES IN COMPUTER SCIENCE, Springer Verlag, vol. 9243, pp. 116-128, Convegno: 5th International Conference on Intelligence Science and Big Data Engineering, IScIDE 2015, 2015 (ISBN 9783319238616; 9783319238616) (ISSN 0302-9743) (Articolo in Atti di convegno)
- Bidyut, Sarkar; Nabendu, Chaki; Cortesi, Agostino (2014), Modeling Demand Forecast Variance in a Distributed Supply Chain Network using Generalized Stochastic Petri Nets in INFORMATYKA EKONOMICZNA, vol. 3 (29), pp. 128-151 (ISSN 1507-3858) (Articolo su rivista)
- Manali Chakraborty; Nabendu Chaki; Agostino Cortesi (2014), A New Intrusion Prevention System for Protecting Smart Grids from ICMPv6 Vulnerabilities , Proceedings of the 2014 Federated Conference on Computer Science and Information Systems in ANNALS OF COMPUTER SCIENCE AND INFORMATION SYSTEMS, IEEE COMPUTER SOCIETY, vol. 2, pp. 1539-1547, Convegno: FEDCSIS 2014, 7-10 September, 2014 (ISBN 9788360810576) (ISSN 2300-5963) (Articolo in Atti di convegno)
- Agostino Cortesi; Raju Halder (2014), Information-flow Analysis of Hibernate Query Languages , Future Data and Security Engineering in LECTURE NOTES IN COMPUTER SCIENCE, © Springer-Verlag Berlin Heidelberg, vol. 8860, pp. 262-274, Convegno: FDSE 2014, November 19-21, 2014 (ISBN 9783319127781) (ISSN 0302-9743) (Articolo in Atti di convegno)
Partecipazione come referee di progetti di ricerca nazionali ed internazionali
- Revisore progetti MIUR- Revisore di progetti dell'Università degli Studi di Padova e del'Università degli Studi di Verona
- Membro di PhD committees University of Calcutta (India), University of Tilburg (The Netherland), National Institute of Technology Durgapur (India).
Partecipazione a comitati editoriali di riviste/collane scientifiche
- Computer Languages, Systems and Structures, 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
Descrizione dell'attività di ricerca svolta nel triennio e gli obiettivi futuri
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
- Estensione del framework di analisi statica denominato "Interpretazione Astratta" all'analisi di programmi che interagiscono con basi di dati relazionali (hybernate query languages), progetto in collaborazione con IIT Patna.
- 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.
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.
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).
Relazioni invitate presso convegni o workshops
- "Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications". VMCAI 2015. (presentation)- "Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis". CISIM 2015 (presentation)
- "DAPA: Degradation-Aware Privacy Analysis of Android Apps". STM 2016 (presentation)
- "WiFi-Related Energy Consumption Analysis of Mobile Devices in a Walkable Area by Abstract Interpretation". ICDCIT 2017 (presentazione)
Seminari su invito tenuti presso altre Università, Centri di Ricerca, Aziende, etc.
- "Data Leakage Analysis of Android Apps", IIT Patna, 20/03/2017Altre attività scientifiche
- Program co-chair of the International Conference on Computational Intelligence and Data Engineering 2017, Mylavaram, India- Program co-chair of the International Doctoral Symposium on Applied Computation and Security Systems ACSS (2015, 2016, 2017).
Altre attività didattiche
- Corso di Dottorato su "Static Analysis Techniques" presso l'University of Calcutta, dal 18 al 22 maggio 2015.- Modulo "Sistemi Informativi per il Turismo" per il Master CISET in Economia del Turismo (tutto il triennio)
Incarichi accademici e attività organizzative
- Direttore della Scuola Interdipartimentale di Scienze Sociali e Politiche Pubbliche (tutto il triennio)- Delegato del Rettore per i Rapporti con la Regione Veneto e la Fondazione Univeneto (da giugno 2016 a fine triennio)
- Vice-Direttore del Dipartimento di Scienze Ambientali, Informatica e Statistica (tutto il triennio)
Partecipazione alle attività di valutazione della ricerca
- Membro della Commissione tecnico-scientifica per la valutazione d'idoneita' delle proposte progettuali a valere sul POR CRO - parte Fesr 2007-2013 - Bando Azione 1.1.3 - Misura I. (fino a dicembre 2015)- Su incarico del MIUR ha presieduto la Commissione Finale di Accertamento di un progetto FIRST.
Componente di Collegi didattici, Comitati e Commissioni di Dipartimento, Commissioni di Ateneo
- Membro del Collegio Didattico del Dottorato in Informatica (tutto il triennio)- Membro del Collegio Didattico della Laurea Magistrale in Governance delle Organizzazioni Pubbliche (tutto il triennio)
Attività e incarichi esterni
- Membro dell'Organismo Indipendente di Valutazione del Consiglio Regionale del Veneto- Valutatore ANVUR per accreditamento iniziale di corsi di studio e per CEV di accreditamento periodico.