MARIANI LEONARDO
- U14, Floor: 2, Room: 2039
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
Riganelli, O., Micucci, D., Mariani, L. (2024). Automatic testing of runtime enforcers with Test4Enforcers. THE JOURNAL OF SYSTEMS AND SOFTWARE, 210(April 2024) [10.1016/j.jss.2023.111949]. Detail
Clerissi, D., Denaro, G., Mobilio, M., Mariani, L. (2024). Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1-18 [10.1109/TSE.2024.3366586]. Detail
Tundo, A., Mobilio, M., Riganelli, O., Mariani, L. (2024). Monitoring Probe Deployment Patterns for Cloud-Native Applications: Definition and Empirical Assessment. IEEE TRANSACTIONS ON SERVICES COMPUTING, 1-19 [10.1109/TSC.2024.3349648]. Detail
Cornejo, O., Briola, D., Micucci, D., Ginelli, D., Mariani, L., Santos Parrilla, A., et al. (2024). A family of experiments about how developers perceive delayed system response time. SOFTWARE QUALITY JOURNAL [10.1007/s11219-024-09660-w]. Detail
Bartocci, E., Mariani, L., Nickovic, D., Yadav, D. (2023). Property-Based Mutation Testing. In Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation, ICST 2023 (pp.222-233). Institute of Electrical and Electronics Engineers Inc. [10.1109/ICST57152.2023.00029]. Detail
Research projects
Awards
Awards
- ICSE Distinguished Reviewer Award, Program Committee of the ICSE Conference, 2023
- Most Influential Paper, ICST Conference, 2023
- 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
Editorial boards
- 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 - JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT, 2016 - 2019
- Membro del Comitato Editoriale - RECENT PATENTS ON COMPUTER SCIENCE, 2016 - 2018
Research and teaching assignments
- Visiting Researcher - Visiting researcher, posizione finanziata dalla European Network of Excellence Segravis - Universität Paderborn, 2004
- Visiting Researcher - Visiting professor presso TU Wien. - Technische Universität Wien, 2022
Congresses/Conferences
- 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