FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
Marco Autili

Registered user since Wed 2 May 2018

Name:Marco Autili
Bio:

Marco Autili is professor at the Department of Information Engineering, Computer Science, and Mathematics – University of L’Aquila. Home page: http://people.disim.univaq.it/marco.autili/

Marco graduated with honors in Computer Science at the University of L’Aquila in April 2004, and he received his PhD in April 2008 with the best grade.

Marco collaborates with various companies and international research groups around the world, and he is (has been) involved in several EU and Italian research and development projects, as principal investigator, scientific and technical project leader, research unit coordinator, and work package leader.

He is (co-)author of more than 100 publications in international journals, conference proceedings, book chapters, and editorials.

He is serving as reviewer for several international conferences, workshops, and top level international journals. He is associate editor and in the editorial board of a number of international journals. He is lead guest editor of various special issues and thematic series.

He actively works on the (from theory to practice) application of automated software engineering methods and practical formal methods to the modelling, verification, analysis and automatic synthesis of complex self-aware distributed systems, from middleware to application layer, and application of context-oriented programming and analysis techniques to the development of autonomous systems.

Main research accomplishments are in the domains of self-aware systems supporting autonomous and self-adaptive behaviors, (micro)service-oriented systems and mobile software systems involving distributed computing resources with self-managing capabilities, adapting to unpredictable changes, new goals and contexts, while hiding the intrinsic complexity to developers thanks to the exploitation of practical specification formalisms enabling automated reasoning and synthesis for correct-by-construction implementation and composition.

Marco released a number of software tools and platforms with which he experimented with and validated its research results.

The list of publications can be found at: http://people.disim.univaq.it/marco.autili/publications.php

Country:Italy
Affiliation:University of L'Aquila, Italy
Research interests:Autonomous Systems, Context-aware Systems, Distributed Systems, Self-adaptive Software Synthesis, Automated Software Engineering

Contributions

Show activities from other conferences

ICSE 2024-profile
View general profile