MARIANI LEONARDO
- U14, Piano: 2, Stanza: 2039
Su appuntamento.
Biografia
Leonardo Mariani è professore ordinario presso l’Università degli Studi di Milano dal 2018 Bicocca, presso la quale ha ottenuto il titolo di dottore di ricerca nell’anno 2005. Durante il dottorato ha trascorso un periodo in visita presso l’Università di Paderborn.
Leonardo Mariani si occupa di ingegneria del software e in modo particolare di test del software, analisi statica e dinamica del software, debugging automatico, progetto di sistemi self-healing e generazione automatica di fix. Leonardo Mariani è stato autore di più di cento lavori apparsi nelle più importanti riviste e conferenze del settore, come ad esempio ICSE, ESEC/FSE, ISSTA, TOSEM e TSE.
Leonardo Mariani è stato chair di diverse track e conferenze, incluse MOBILESoft 2020 e RV 2019.
Leonardo Mariani ha vinto l'ERC Consolidator Grant 2014 e l’ERC PoC Grant 2018. Inoltre è stato nominato IEEE Senior Member nel 2016.
Leonardo Mariani è dal 2020 associate editor della rivista IEEE Transactions on Software Engineering.
Leonardo Mariani è stato coordinatore del progetto PRIN 2015 “GAUSS” - Governing Adaptive and Unplanned Systems of Systems, è stato responsabile scientifico e coordinatore dei team attivi sui progetti ERC Consolidator Grant 2014 “LEARN” - Learning From Failing and Passing Executions At the Speed of Internet e ERC PoC “AST” – Automatic System Testing. Inoltre, Leonardo Mariani è stato il responsabile scientifico dei progetti europei H2020 Innovation Action “NGPaaS” – Next Generation Platform as a Service e EU STREP FP7 “PINCETTE” - Validating Changes and Upgrades in Networked Software.
Leonardo Mariani è stato rappresentante dell’Università degli Studi di Milano - Bicocca nel CDA del Cluster Regionale Lombardo Smart Cities & Communities. Leonardo Mariani è il responsabile dell’unità locale del laboratorio CINI Smart Cities & Communities.
Leonardo Mariani è dal 2019 coordinatore del dottorato di ricerca in Informatica.
Pubblicazioni
Pastore, F., Micucci, D., Guzman, M., Mariani, L. (2022). TkT: Automatic Inference of Timed and Extended Pushdown Automata. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 48(2), 617-636 [10.1109/TSE.2020.2998527]. Dettaglio
Gazzola, L., Goldstein, M., Mariani, L., Mobilio, M., Segall, I., Tundo, A., et al. (2022). ExVivoMicroTest: ExVivo Testing of Microservices. JOURNAL OF SOFTWARE [10.1002/smr.2452]. Dettaglio
Colombo, V., Tundo, A., Ciavotta, M., Mariani, L. (2022). Towards Self-Adaptive Peer-To-Peer Monitoring for Fog Environments. In Proceedings - 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2022 (pp.156-166). New York : Association for Computing Machinery [10.1145/3524844.3528055]. Dettaglio
Gazzola, L., Mariani, L., Orru, M., Pezze, M., Tappler, M. (2022). Testing Software in Production Environments with Data from the Field. In Proceedings - 2022 IEEE 15th International Conference on Software Testing, Verification and Validation, ICST 2022 (pp.58-69). Institute of Electrical and Electronics Engineers Inc. [10.1109/ICST53961.2022.00017]. Dettaglio
Riganelli, O., Daniel Fagadau, I., Micucci, D., Mariani, L. (2022). Proactive Libraries: Enforcing Correct Behaviors in Android Apps. In Proceedings - International Conference on Software Engineering (pp.159-163). IEEE Computer Society [10.1109/ICSE-Companion55297.2022.9793763]. Dettaglio
Progetti di ricerca
Premi e responsabilità scientifiche
Premi
- Distinguished Artifact Award, International Symposium on Software Testing and Analysis (ISSTA), 2020, 2020
- ERC Proof-of-Concept Grant, European Commission, 2018
- IEEE Senior Member, IEEE (The Institute of Electrical and Electronics Engineers), 2016
- ICSE Distinguished Reviewer Award, Program Committee of the ICSE Conference, 2015
- ERC Consolidator Grant, European Community, 2015
- Best paper award, CSMR organizing committee, 2013
Comitati editoriali
- Membro del Comitato Editoriale - IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2020
- Guest Editor di rivista o collana editoriale - SOFTWARE QUALITY JOURNAL, 2017
- Membro del Comitato Editoriale - RECENT PATENTS ON COMPUTER SCIENCE, 2016 - 2018
- Membro del Comitato Editoriale - JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT, 2016 - 2019
Incarichi di insegnamento o ricerca
- Visiting Researcher - Visiting researcher, posizione finanziata dalla European Network of Excellence Segravis - Universität Paderborn, 2004
Congressi/Convegni
- Program chair - International Symposium on Software Reliability Engineering (ISSRE)(Cina), 2021
- Program chair - 7th IEEE/ACM International Conference on Mobile Software Engineering and Systems(Corea del Sud), 2020
- Program chair - International Conferece on Runtime Verification(Portogallo), 2019
- Program committee - Haiva Verification Conference, Award Committee(Israele), 2017
- Program committee - International Conference on Automated Software Engineering (ASE), Tool Demo Track(Stati Uniti), 2017
- Partecipazione al comitato organizzativo - International Conference on Software Reliability Engineering (ISSRE)(Francia), 2017
- Program committee - 28th International Symposium on Software Reliability Engineering (ISSRE)(Francia), 2017
- Program committee - 17th International Conference on Runtime Verification (RV)(Stati Uniti), 2017
- Program committee - 38th International Conference on Software Engineering (ICSE)(Argentina), 2017
- Program committee - International Workshop on Automation of Software Test (AST)(Argentina), 2017