MARIANI LEONARDO

Ruolo: 
Professore ordinario
Settore scientifico disciplinare: 
SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI (ING-INF/05)
Telefono: 
0264487870
Stanza: 
U14, Piano: P02, Stanza: 2039
Viale Sarca, 336 - 20126 MILANO
Orario di ricevimento: 

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

  • Cornejo, O., Briola, D., Micucci, D., & Mariani, L. (2020). In-the-field monitoring of functional calls: Is it feasible?. THE JOURNAL OF SYSTEMS AND SOFTWARE, 163. Dettaglio
  • Cornejo, O., BRIOLA, D., MICUCCI, D., & MARIANI, L. (2020). CBR: Controlled Burst Recording. In Proceedings of the 13th IEEE International Conference on Software Testing, Validation and Verification (ICST). Institute of Electrical and Electronics Engineers. Dettaglio
  • Mariani, L., Pezzè, M., Riganelli, O., & Xin, R. (2020). Predicting failures in multi-tier distributed systems. THE JOURNAL OF SYSTEMS AND SOFTWARE, 161. Dettaglio
  • Riganelli, O., Mottadelli, S., Rota, C., Micucci, D., & Mariani, L. (2020). Data loss detector: Automatically revealing data loss bugs in Android apps. In Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp.141-152). Association for Computing Machinery, Inc. Dettaglio
  • Pastore, F., Micucci, D., Guzman, M., & Mariani, L. (2020). TkT: Automatic Inference of Timed and Extended Pushdown Automata. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1-1. Dettaglio