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 about his professional and research activities can be found here

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

  • 01 Mar, 2014 - on going
    IDEAS (Integrated Design and Evolution of Adaptive Systems), Italian PRIN project.
  • 01 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
    WP Leader of 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
  • The complete list of projects can be found here

Upcoming Events

  • Projects Showcase at the federation of leading conferences on Software Technologies: Applications and Foundations (STAF 2014) - July 20 to 24, 2014 - L'Aquila, ITALY

  • 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems
    (ModComp 2014) at MODELS 2014 - September 28-30, 2014 - Valencia, Spain

  • 5th IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS) in conjunction with the 38th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2014 - July 21-25, 2014 - Vasteras, Sweden

  • IEEE International Workshop on Service Orchestration and Choreography for the Future Internet
    (OrChor 2014) at IEEE SERVICES 2014 - June 27 to July 2, 2014 - Hilton Anchorage, Alaska, USA