Marco Autili

Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica (DISIM) - Universtà dell'Aquila
Via Vetoio, I-67010 L'Aquila (Italy)

Assistant Professor
Department of Information Engineering Computer Science and Mathematics (DISIM)
University of L'Aquila - ITALY
He is member of the Software Engineering and Architecture group (SEA Lab) , Department of Information Engineering Computer Science and Mathematics (DISIM) - University of L'Aquila - ITALY

Main research areas are

  • Software Engineering
  • Formal Methods
  • Context-oriented Programming
  • Distributed Systems

In these areas, main Research & Development activities include:

  • Engineering of Service-oriented Systems and Component-based Systems
  • Automated Synthesis for Composing Distributed Systems, from Coordination to Protocol Mediation/Adaptation
  • Formal Specification and Analysis of Complex Distributed Systems
  • Formal Specification and Checking of Temporal Properties
  • Context-oriented Programming and Resource-oriented Analysis of Adaptable (mobile) Applications
  • More details on his professional and research activities can be found here

He is (has been) involved in a number of European and National projects, among which:

  • Jan 2015 - Jan 2018
    CHOReVOLUTION (Automated Synthesis of Dynamic and Secured Choreographies for the Future Internet) H2020 EU project,
  • Mar 2014 - on going
    IDEAS (Integrated Design and Evolution of Adaptive Systems), Italian PRIN project.
  • Feb 2014 - on going (end 31 Jul, 2016)
    Learn PAd (Model-Based Social Learning for Public Administrations), STREP EU project, FP7
  • Oct 2010 - Sep 2013
    CHOReOS (Large Scale Choreographies for the Future Internet), IP EU project, FP7
  • Feb 2009 - Jun 2012
    CONNECT (Emergent Connectors for Eternal Software Intensive Networked Systems), FET EU project, FP7
  • Jan 2008 - Dic 2010
    D-ASAP (Adaptable Software Architectures and Reliable Pervasive Systems), Italian PRIN project
  • Feb 2006 - Sep 2008
    PLASTIC (Providing Lightweight and Adaptable Service Technology for pervasive Information and Communication), IST EU project, FP6
  • More details on his professional and research activity, together with the complete list of projects, can be found here


Upcoming Events

  • 1st International Workshop on the ART of Software Composition
    (SCART 2015), co-located with SEFM 2015 - One day between September 7-11, 2015 - York, UK.

  • 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems
    (FOCLASA 2015), co-located with CONCUR 2015 - September 5, 2015 - Madrid, Spain.

  • 11th IEEE World Congress on SERVICES 2015 Visionary Track on Service Composition for the Future Internet
    (IEEE SERVICES 2015) - June 27 to July 2, 2015 - New York, USA.

  • 10th International Conference on Software Engineering Advances
    (ICSEA 2015) - November 15 to 20, 2015 - Barcelona, Spain

  • 7th International Workshop on Software Engineering for Resilient Systems
    (SERENE 2014) 7-8th September 2015, Paris

  • 1st International Conference on Fundamentals and Advances in Software Systems Integration
    (FASSI) - August 23 to 28, 2015 - Venice, Italy, under the NetWare 2015 umbrella.

  • Thematic Series on Service Composition for the Future Internet
    Springer Journal of Internet Services and Applications (JISA
    ).

  • International Conferences Federation on Software Technologies: Applications and Foundations 2015 Projects Showcase
    (STAF-PS 2015) - July 20 to 24, 2015 - L'Aquila, ITALY.