Marco Autili

Marco Autili is an Associate Professor at the University of L'Aquila's Department of Information Engineering, Computer Science, and Mathematics (DISIM). He leads the Software Synthesis Lab, focusing on automated techniques for complex distributed systems. His research bridges formal methods with practical applications in autonomous systems and service-oriented architectures.

Education:

• Ph.D. in Software Engineering (2008) - University of L'Aquila
• Laurea cum laude in Computer Science (2004) - University of L'Aquila

Research Interests: Autonomous/autonomic systems, distributed computing, context-aware systems, and automated software synthesis methodologies that enable correct-by-construction composition and adaptation of complex systems.

Awards & Honors:

• National Scientific Habilitation as Full Professor (2022)
• National Scientific Habilitation as Associate Professor (2014)
• Highest distinction in Ph.D. studies (2008)
• Laurea cum laude (2004)

Leadership & Projects: Principal investigator for multiple EU and Italian projects including RoboChor, CAVIA, and HALO. Coordinates the Software Synthesis Lab developing tools like CHOReVOLUTION IDRE for service choreographies.