Temi di Ricerca

Principali aree di ricerca

• Ingegneria del Software
• Sistemi Distribuiti
• Programmazione Orientata al Contesto
• Metodi Formali

In queste aree, le principali attività di Ricerca e Sviluppo includono

• Ingegnerizzazione di sistemi orientati ai servizi e sistemi basati su componenti
• Sintesi automatica per la composizione di sistemi distribuiti, dal coordinamento autonomo alla mediazione e adattamento del protocollo di interazione
• Specifica formale e analisi di sistemi distribuiti complessi
• Specifica formale e verifica di proprietà temporali
• Programmazione orientata al contesto e analisi orientata alle risorse di applicazioni software (anche per dispositivi mobili)

Progetti di Ricerca attivi

• SISMA (Solutions for Engineering Microservices Architectures) Italian PRIN project (Call 2017), 29 August 2019 – 28 August 2022)
• ConnectPA (Connect Public Administration) POR FESR Abruzzo (Call 2014-2020 – Industrial Research and Experimental Development), February 2017 – December 2020. Action 1.1.1: “Support for research projects of companies that employ researchers” – Action 1.1.4: “Support for collaborative research and development activities for the development of new sustainable technologies, new products and services”
• INCIPICT (INnovating CIty Planning through Information and Communication Technologies). Founded by the Italian Ministry for Economic Development, from 2014

MARCO AUTILI è Professore Associato presso il Dipartimento di Ingegneria e Scienze dell’Informazione e Matematica (DISIM), Università dell’Aquila.

Marco lavora attivamente sull’applicazione (dalla teoria alla pratica) di metodi dell’ingegneria del software e “formalismi pratici” per la specifica, la verifica, l’analisi e la sintesi automatica di sistemi distribuiti complessi. Inoltre egli lavora sull’applicazione di tecniche di programmazione orientate al contesto e tecniche di analisi per applicazioni software adattabili, anche per dispositivi mobili con risorse limitate.

Egli ha ricevuto il Dottorato di Ricerca in Informatica e Applicazioni dall’Università dell’Aquila.