Professore Associato

Marco Autili

0000-0001-5951-1567

Self-aware Computing; Distributed Computing; Mobile Computing; Context-oriented Programming
06 Ingegneria del Software
INF/01 - Informatica
Computer Science and Operations Research

Curriculum External site   Scholar DBLP Research Gate

Home

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.

He is (has been) involved in several EU and Italian research and development projects, as scientific coordinator, 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, and books. 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 has also been lead guest editor of various special issues and thematic series.

He actively works on the (from theory to practice) application of practical formal methods and software engineering 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 adaptable (mobile) applications.

Main research accomplishments are in the domains of autonomous software systems, (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, correct-by-construction implementation and composition.

Orario Ricevimento / Student hours

  • Gio / Thu 13:00 - 14:00
  • Ven / Fri 13:00 - 14:00

Non ci sono annunci disponibili.

Utilizziamo i cookie per offrirti il ​​nostro servizio. Continuando a utilizzare questo sito acconsenti al nostro utilizzo dei cookie come descritto nella nostra policy.