Marco Autili is an Assistant Professor at the Department of Information Engineering Computer Science and Mathematics, University of L’Aquila - ITALY.
His main research areas are Context-Oriented Programming, Application of Formal Methods to the Verification, Analysis and automatic Synthesis of complex systems, Component Based Software Engineering, and Software Architectures with particular reference to Service Oriented Architectures and Choreography-based Service-oriented Systems. From Oct, 2010 to Sep, 2013, he has been WP Leader of CHOReOS, IP EU project, FP7 and he has been (and he is) working on a systematic approach to the enforcement of choreographies: from specification to coordination code synthesis.
Department of Information Engineering Computer Science and Mathematics, University of L’Aquila
Via Vetoio, Loc. Coppito