MARIANI LEONARDO

Room: 
U14, Piano: P02, Stanza: 2039
Viale Sarca 336 - 20126 MILANO
Role: 
Full professor
Academic disciplines: 
INFORMATION PROCESSING SYSTEMS (ING-INF/05)
Telephone: 
0264487870

Biography

Leonardo Mariani is full professor at the University of Milano – Bicocca from 2018. He obtained his phd from the same university in 2005. During his phd, he has been visiting researcher at the University of Paderborn.

His main research interests concern software engineering, and in particular software testing, static and dynamic software analysis, automatic debugging, design of self-healing systems, and automatic program repair. Leonardo Mariani authored more than 100 papers appeared at top conference and journals, including ICSE, ESEC/FSE, ISSTA, TOSEM and TSE.

Leonardo Mariani chaired several tracks and conferences, including MOBILESoft 2020 and RV 2019.

Leonardo Mariani won the ERC Consolidator Grant 2014 and the ERC PoC Grant 2018. He has been nominated IEEE Senior Member in 2016.

Leonardo Mariani is associated editor of the IEEE Transactions on Software Engineering journal from 2020.

Leonardo Mariani was the coordinator of the project PRIN 2015 “GAUSS” - Governing Adaptive and Unplanned Systems of Systems, was both coordinator and PI of the teams active on the projects ERC Consolidator Grant 2014 “LEARN” - Learning From Failing and Passing Executions At the Speed of Internet and the ERC PoC 2018 “AST” – Automatic System Testing. Furthermore, Leonardo Mariani was the PI for the European projects H2020 Innovation Action “NGPaaS” – Next Generation Platform as a Service and EU STREP FP7 “PINCETTE” - Validating Changes and Upgrades in Networked Software.

Leonardo Mariani was a member of the board of directors of the regional cluster on Smart Cities & Communities for the University of Milano – Bicocca. He is also the responsible of the UniMiB unit of the CINI lab on Smart Cities & Communities.

Leonardo Mariani is the director of the phd program in computer science from 2019.

Publications

  • 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.
  • 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.
  • Mariani, L., Pezzè, M., Riganelli, O., & Xin, R. (2020). Predicting failures in multi-tier distributed systems. THE JOURNAL OF SYSTEMS AND SOFTWARE, 161.
  • 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.
  • 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.