Marco Autili

Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica (DISIM)
Università dell'Aquila
Via Vetoio, 67100 L'Aquila (Italy)

Curriculum Studiorum and Academic Qualifications

  • [ITA] Abilitazione Scientifica Nazionale alle Funzioni di Professore di II Fascia
    [ENG] National Scientific Qualification as Associate Professor
    Released by: Ministero dell’Istruzione, dell’Università e della Ricerca - ITALY
    Validity: January 29, 2014 - January 29, 2020
    Sector: 01/B1 - Informatics as defined in D.D. 222 of July 20, 2012

  • Subject-matter Expert (SME): Programming Foundations and Java Language,
    Granted by: Academic Council - University of L'Aquila, AQ - ITALY
    Date from: A.A. 2008/2009

  • Ph.D. in Computer Science, University of L'Aquila, AQ - ITALY
    Ph.D. Thesis Title: Synthesis Of Distributed Adaptors To Enforce Temporal Properties Specified Through Graphical Scenarios
    Ph.D Thesis Defence: April 11, 2008
    Ph.D. Advisor: Prof.ssa Paola Inverardi

  • Master's Degree: Laurea cum laude in Computer Science, University of L'Aquila, AQ - ITALY
    Thesis Title: Automatic synthesis of software coordinators for communication protocols enhancement
    Master's Degree Thesis Defence: April 20, 2004
    Advisor: Prof.ssa Paola Inverardi

Current Position

  • Assistant Professor (tenure track position), September 26, 2016 - ongoing
    Department of Information Engineering Computer Science and Mathematics, University of L’Aquila - ITALY.

Previous Professional Experiences in Italy and Abroad

  • Research Associate (temporary position), August 01, 2014 - September 25, 2016
    Department of Information Engineering Computer Science and Mathematics, University of L’Aquila - ITALY.

  • Assistant Professor (temporary position), July 01, 2010 - July 20, 2014
    Department of Information Engineering Computer Science and Mathematics, University of L’Aquila - ITALY.

  • Postdoctoral Research Fellow, March 1, 2010 - June 30, 2010
    Department of Computer Science, University of L'Aquila. He has been involved in the CONNECT FET EU project, FP7 and the D-ASAP, Italian PRIN.

  • Postdoctoral Research Associate, March 1, 2009 - February 28, 2010
    Department of Computer Science, University of L'Aquila. He has been involved in the CONNECT FET EU project, FP7 and the D-ASAP, Italian PRIN.

  • Postdoctoral Research Associate, March 1, 2008 - February 28, 2009
    Department of Computer Science, University of L'Aquila. He has been involved in the EC PLASTIC project.

  • Visiting Research Fellow, November 2009 - December 2009
    He was in Melbourne (AUSTRALIA), Swinburne University of Technology collaborating with the Computer Science Research Team on a research project concerning the formal specification of qualitative, real-time, and probabilistic temporal properties

  • Visiting Research Associate, January 2007 - December 2007
    He was in Paris (FRANCE), INRIA Rocquencourt collaborating with the ARLES project research team on the PLASTIC (Providing Lightweight and Adaptable Service Technology for pervasive Information and Communication) IST EU project, FP6

  • Visiting Research Fellow, December 2005
    He was in Luxembourg (Luxembourg), Faculty of Sciences, Technologies and Communications, University of Luxembourg collaborating on the CORRECT project (rigorous stepwise development of Complex Fault tOlerant DistRibuted Systems: from ARchitEctural DesCription to Java ImplemenTation)

  • Exchange Student, January 2003 - June 2003
    He was in Vancouver (CANADA), University of British Columbia

  • Research Collaboration, March 2003 - October 2003
    Department of Computer Science, University of L'Aquila. He has been involved in the SAILOR (Satellite Integrated UMTS Emulator) IST EU project, 1st EU Programme on Integrated T-S-UMTS Network. In collaboration with Telespazio, University La Sapienza di Roma, Eutelis Italia, Siemens, Ericsson Hellas, Integrasys, Ascom, Aachen University of Tecnology and Space Engineering

Involvement in European and National Projects

He is (has been) involved in several EU and Italian projects:

  • GAUSS (Governing Adaptive and Unplanned Systems of Systems) Italian PRIN project, Call 2015 (February 2017 - ongoing, Duration 36 months)

  • CHOReVOLUTION (Automated Synthesis of Dynamic and Secured Choreographies for the Future Internet) H2020 EU project, Research and Innovation Actions: ICT 9 - 2014: Tools and Methods for Software Development, 2015-2018

  • TACTICS (TACTICal Service oriented architecture) European Defence Agency (EDA) ad hoc B Program project, 2014-2017;

  • LeonarDO (Smart digital ecosystem for the Customer Experience Enhancement): advanced ICT technologies (social means, mobile apps and big data analytics) for Customer Services. Founded by the Italian Ministry of Economic Development, from 2015

  • Original in Touch (Development of a Hardware and Software System to Fight Counterfeit). Founded by the Italian Ministry of Economic Development, from 2015

  • Ricostruire - RIDITT (Italian Network for Innovation and Technology Transfer to Enterprises) Founded by the Italian Ministry of Economic Development, from 2012

  • INCIPICT (INnovating CIty Planning through Information and Communication Technologies). Founded by the Italian Ministry for Economic Development, from 2014

  • IDEAS (Integrated Design and Evolution of Adaptive Systems) Italian PRIN project (Call 2012)

  • Learn PAd (Model-Based Social Learning for Public Administrations) STREP EU project, FP7, from 2014

  • CHOReOS (Large Scale Choreographies for the Future Internet) IP EU project, FP7, 2010-2013

  • S-Cube (EU Network of Excellence in Software Services and Systems)

  • CONNECT (Emergent Connectors for Eternal Software Intensive Networked Systems) FET EU project, FP7, 2009-2013

  • D-ASAP (Adaptable Software Architectures and Reliable Pervasive Systems) Italian PRIN 2007 project - 2007XKEHFA, 2008-2010

  • PLASTIC (Providing Lightweight and Adaptable Service Technology for pervasive Information and Communication) IST EU project, FP6, 2006-2009

  • CORRECT (rigorous stepwise development of Complex Fault TOlerant DistRibuted Systems: from ARchitEctural DesCription to Java ImplemenTation) Luxembourgish Project, 2004-2007

  • ASA (Adaptive SoftwAre) INRIA-DISIM Equipes Associées project, 2006-2007

  • SAILOR (Satellite Integrated UMTS Emulator) IST EU project, FP5, 2002-2005

Leaderships in European and National Projects

  • He actively participated to the proposal preparation phase of most of the projects listed above, from the project consortium establishment to the actual proposal writing.

  • Research Unit Co-coordinator (February 2017 - January 2020) - GAUSS project, he is coordinating the research unit of the University of L'Aquila in cooperation with Paola Inverardi.

  • Scientific and Technical Project Leader (January 2015 - January 2018) - CHOReVOLUTION project, he is responsible for (with respect to the EU commission) and he is coordinating the Research & Development (R&D) activity of the whole consortium, 8 partners for a total amount of 340 person-month distributed in 7 Work Packages. He evaluates and approves the scientific and technical quality of the achieved results, establishing and maintaining the overall project plan, further organizing the project reviews.

  • Work Package Leader (January 2015 - January 2018) - CHOReVOLUTION project, he is responsible for (with respect to the CHOReVOLUTION consortium) and he is coordinating the Research & Development (R&D) activity of 6 partners, with a total effort of 49 person-months.

  • Research Unit Co-coordinator (January 2015 - January 2018) - CHOReVOLUTION project, he is responsible for (with respect to the DISIM department) and he is coordinating the research unit of the University of L'Aquila. He is further responsible of the funding amount of the University of L'Aquila.

  • Research Unit Co-coordinator (October 2014 - ongoing) - TACTICS project, he is coordinating a branch of the research activity concerning the introduction of a Lightweight Service Oriented Architecture Stack in tactical domains. Within the University of L'Aquila, the overall research activity is coordinated by Vittorio Cortellessa, and is founded by an agreement between the University of L'Aquila and THALES ITALIA S.p.A - Defense Business Domain.

  • Research Unit Co-coordinator (March 2014 - February 2017) - IDEAS project, he is coordinating the research unit of the University of L'Aquila in cooperation with Paola Inverardi.

  • Scientific Coordinator (September 2014 - July 2017) - LeonardDO project, he is responsible for (with respect to the LeonarDO consortium) the research activity of the project. He is also coordinating the research unit of the University of L'Aquila in cooperation with Paola Inverardi and the involved members of DISIM department of the University of L'Aquila.

  • Work Package Leader (October 2010 - September 2013) - CHOReOS project, he was responsible for (with respect to the CHOReOS consortium) and he coordinated the Research & Development (R&D) activity of 8 partners, with a total effort of 143 person-months.

  • Research Unit Co-coordinator (October 2010 - September 2013) - CHOReOS project, he was responsible for (with respect to the DISIM department) and he coordinated the research unit of the University of L'Aquila in cooperation with Paola Inverardi.

  • Research Unit Co-coordinator (February 2009 - September 2010) - CONNECT project, he coordinated the research unit of the University of L'Aquila in cooperation with Paola Inverardi.

Revision of Project and Scientific Proposals

  • External Referee of ERC Advanced Grant scientific proposals for the European Research Council (ERC) - Brussels, Belgium.

  • Reviewer of projects for the Agence Nationale de la Recherche (ANR) - Paris, France.

  • Internal reviewer of most of the European projects he is (has been) involved in.

Invited Talks, Lectures and Seminars

Editorial Activities

Program Committees

  • 5th IEEE/ACM International Conference on Mobile Software Engineering and Systems
    (MOBILESoft 2018) co-located with ICSE 2018 - May 27-28, 2018 - Gothenburg, Sweden

  • 2nd International Workshop on Engineering IoT Systems: Architectures, Services, Applications, and Platforms (IoT-ASAP 2018) co-located with the IEEE International Conference on Software Architecture (ICSA 2018) - April 30, 2018 - Seattle, USA

  • ACM Student Research Competition (ACM SRC), hosted by MobileSoft 2018, co-located with ICSE 2018 - May 27-28, 2018 - Gothenburg, Sweden

  • 2nd International Workshop on Architecting with MicroServices (AMS 2018) Co-located with the IEEE International Conference on Software Architecture (ICSA 2018) - April 30, 2018 - Seattle, USA

  • 6th International Conference on Model-Driven Engineering and Software Development
    (MODELSWARD 2018) - January 22-24, 2018 - Funchal, Madeira - Portugal

  • 4th International Workshop on Model-Driven Engineering for Component-Based Software Systems
    (ModComp 2017) at MODELS 2017 - September 17-19, 2017 - Austin, Texas, USA

  • 2017 International Workshop on Self-aware Computing (SeAC 2017) co-located with the 14th IEEE International Conference on Autonomic Computing (ICAC 2017) - July 17-18, 2017, Columbus, Ohio - USA

  • 1st International Workshop on Engineering the Web of Things (EnWoT 2017) held in conjunction with 17th International Conference on Web Engineering (ICWE 2017) - June 5-8, 2017, Rome, ITALY

  • 39th ACM/IEEE International Conference on Software Engineering - Poster Track
    (ICSE 2017 Poster Track) - May 2017 - Buenos Aires, Argentina

  • 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems
    (MobileSoft 2017) co-located with ICSE 2017 - May 22-23, 2017 - Buenos Aires, Argentina

  • ACM Student Research Competition sponsored by Microsoft Research (ACM SRC), hosted by MobileSoft 2017, co-located with ICSE 2017 - May 22-23, 2017 - Buenos Aires, Argentina

  • 1st International Workshop on Architecting with MicroServices (AMS 2017) co-located with the IEEE International Conference on Software Architecture (ICSA 2017) - April 3, 2017 - Gothenburg, Sweden

  • 1st International Workshop on Engineering IoT Systems: Architectures, Services, Applications, and Platforms (IoT-ASAP 2017) co-located with the IEEE International Conference on Software Architecture (ICSA 2017) - April 4, 2017 - Gothenburg, Sweden

  • 10th Innovations in Software Engineering Conference - Mobile Software Engineering track
    (ISEC 2017) - February 5th - 7th, 2017 - LNMIT Jaipur, India

  • 2nd International Workshop on domAin specific Model-based AppRoach to vErificaTion and validation
    (AMARETTO 2017) held in conjunction with MODELSWARD 2017 - February 19-21, 2017 - Porto, Portugal

  • 3rd International Workshop on Model-Driven Engineering for Component-Based Software Systems
    (ModComp 2016) at MODELS 2016 - October 2nd - 7th, 2016 - Saint Malo, Brittany, France

  • Reviewer of the Springer Book: "Digital Marketplaces Unleashed - There is no future for companies which do not digitalize" (Call for expert knowledge) - Springer publisher, Heidelberg (CfP as PDF)

  • 5th International Conference on Model-Driven Engineering and Software Development
    (MODELSWARD 2017) - February 19-21, 2017 - Porto, Portugal

  • 8th International Workshop on Software Engineering for Resilient Systems
    (SERENE 2016) 5-6th September 2015, Gothenburg, Sweden

  • SACS Book Program Committee Member - Dagstuhl Seminar 15041
    Model-driven Algorithms and Architectures for Self-Aware Computing Systems (http://www.dagstuhl.de/15041)

  • ACM Student Research Competition sponsored by Microsoft Research (ACM SRC), hosted by MOBILESoft 2016, co-located with ICSE 2016 - May 14-22, 2016 - Austin, TX, USA

  • 4th International Conference on Model-Driven Engineering and Software Development
    (MODELSWARD 2016) - February 19-21, 2016 - Rome, Italy

  • 3rd IEEE/ACM International Conference on Mobile Software Engineering and Systems
    (MOBILESoft 2016) co-located with ICSE 2016 - May 14-22, 2016 - Austin, TX, USA

  • 1st International Workshop on domAin specific Model-based AppRoach to vErificaTion and validation
    (AMARETTO 2016) held in conjunction with MODELSWARD 2016 - February 19-21, 2016 - Rome, Italy

  • ModelCyPhy Track on Model-Driven Engineering for Cyber-Physical Systems
    (ModelCyPhy 2016) at the 13th International Conference On Information Technology: New Generations ITGN - April 11-13, 2016 - Las Vegas, Nevada, USA

  • SEfSAS Book III Program Committee Member - Dagstuhl Seminar 13511
    Software Engineering for Self-Adaptive Systems: Assurances (http://www.dagstuhl.de/13511 - see also https://www.hpi.uni-potsdam.de/giese/public/selfadapt/dagstuhl-seminars/)

  • 2nd International Workshop on Model-Driven Engineering for Component-Based Software Systems
    (ModComp 2015) at MODELS 2015 - September 28th, 2015 - Ottawa, Canada

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

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

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

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

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

  • Conference on Software Maintenance, Reengineering and Reverse Engineering
    (CSMR-WCRE 2014 Project Track) - February 3-7, 2014, Antwerp, Belgium

  • 16th International ACM Sigsoft Symposium on Component-Based Software Engineering
    (CBSE 2013) - June 17-21, 2013, Vancouver, Canada

  • 2nd ACademics Modelling with Eclipse
    (ACME2013), co-located with ECMFA/ECOOP/ECSA 2013 - July 2, 2013, Montpellier, France

  • 7th International Workshop on Formal Aspects of Component Software
    (FACS 2010) - October 14-16, 2010 - Guimaraes, Portugal

  • At your service: Service-Oriented Computing from an EU Perspective
    (MIT book 07) - European Community's Information Society Technologies Program (IST)

Reviewer of International Journals

He is Reviewer of many leading international journals, among which:

  • IEEE Transactions on Software Engineering (TSE)
  • IEEE Transactions on Services Computing (TSC)
  • IEEE Transactions on Computers (TC)
  • IEEE Transactions on Dependable and Secure Computing (TDSC)
  • Elsevier Science of Computer Programming Journal (SCP)
  • Elsevier Information Processing Letters (IPL)
  • Elsevier Journal of Systems and Software (JSS)
  • Elsevier Journal of Logic and Algebraic Programming (JLAP)
  • Springer Empirical Software Engineering Journal (ESE)
  • Springer Software and Systems Modeling Journal (SoSyM)
  • Springer Automated Software Engineering Journal (ASE)
  • Springer Journal of Internet Services and Applications (JISA)
  • Springer National Academy Science Letter (NASL)
  • Springer International Journal on Software Tools for Technology Transfer (STTT)
  • Advances in Software Engineering Journal (ASEJ)
  • Journal of Universal Computer Science (JUCS)

Sub-reviewer of International Conferences and Workshops

Since 2004, he is sub-Reviewer of many international workshops, conferences (in addition to the ones above) among which (multiple editions of):

  • ISSTA, TACAS, FASE, ICSE, ESEC/FSE, ICSOC, ASE, WADS, WICSA, FORTE, COMPSAC, MODELS, JUCS-WCAT, ServiceWave, WADS, ISEC, RCoSe, ECSA, SESoS, SEAMS, ServiceWave, ISEC, EMSOFT, CollaborateCom, etc ...

Services and Events Organization

  • Panels Chair - Organizing Committee of the 5th IEEE/ACM International Conference on Mobile Software Engineering and Systems
    (MOBILESoft 2018) co-located with ICSE 2018 - May 27-28, 2018 - Gothenburg, Sweden

  • Judge of the ACM Student Research Competition sponsored by Microsoft Research (ACM SRC - in loco judgement of Poster Exposition, Presentation, and Panel), hosted by MobileSoft 2017, co-located with ICSE 2017 - May 22-23, 2017 - Buenos Aires, Argentina

  • Proceedings Chair - Organizing Committee of the 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems
    (MOBILESoft 2017) co-located with ICSE 2017 - May 22-23, 2017 - Buenos Aires, Argentina

  • Program Chair and Organizer of the International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016), co-located with STAF 2016 - July 4-8, 2016 - Vienna, AUSTRIA

  • Program Chair and Organizer of the 1st International Workshop on the ART of Software Composition (SCART 2015), co-located with SEFM 2015 - September 8th, 2015 - York, UK

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

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

  • Program Chair and Organizer of the 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

  • Local Co-organizer of the 23rd International Conference on Automated Software Engineering (ASE'08) - L'Aquila, ITALY

  • Web Chair of the 1st International Workshop on the ART of Software Composition (SCART 2015), co-located with SEFM 2015 - September 8th, 2015 - York, UK

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

  • Web Chair of the 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

Academic Services

  • Member of the Doctoral College in Engineering and Information Science (cycle XXXIII, 2017/18 - ongoing) - University of L'Aquila - ITALY

  • Member of Department Board [ITA: Giunta di Dipartimento] - Department of Information Engineering Computer Science and Mathematics (DISIM), University of L'Aquila - ITALY

  • Tutor and Co-Tutor of 3 PhD Students (ongoing and in the past) - Department of Information Engineering Computer Science and Mathematics (DISIM), University of L'Aquila - ITALY

  • Supervisor and Co-Supervisor of more than 40 Theses for Postgraduate and Undergraduate Degrees - Department of Information Engineering Computer Science and Mathematics (DISIM), University of L'Aquila - ITALY

  • Degree Committees Member for more than 40 Theses he has been supervising and co-supervising

  • Author of the notes "Operational Semantic of +/- Java (ita)" that, since the Academic Year 2009/2010, is the reference textbook of the course "Foundations of Programming" (now "Introduction To Programming: Foundations And Languages"), University of L’Aquila (Teaching page)

Teaching


Please, visit the teaching page to access the available teaching material

Internal Courses

A.A. 2004/2005

  • Software Engineering (120 hours), (Paola Inverardi/Marco Autili and Monica Nesi)
    University of L’Aquila
  • Foundations Of Programming Languages (60 hours), part of the two modules course (120 hours) "Introduction To Programming: Foundations And Languages" (Paola Inverardi/Marco Autili and Monica Nesi)
    University of L’Aquila

A.A. 2005/06

  • Foundations Of Programming Languages (60 hours), part of the two modules course (120 hours) "Introduction To Programming: Foundations And Languages" (Paola Inverardi/Marco Autili and Monica Nesi)
    University of L’Aquila

A.A. 2006/07

  • Foundations Of Programming Languages (60 hours), part of the two modules course (120 hours) "Introduction To Programming: Foundations And Languages" (Paola Inverardi/Marco Autili and Monica Nesi)
    University of L’Aquila
  • Software Engineering Laboratory I (Massimo Tivoli)
    (6 hours - integrative teaching) - University of L’Aquila

A.A. 2007/08

  • Foundations Of Programming Languages (60 hours), part of the two modules course (120 hours) "Introduction To Programming: Foundations And Languages" (Paola Inverardi/Marco Autili and Monica Nesi)
    University of L’Aquila
  • Analysis and Testing of Component-based Systems (Henry Muccini)
    (4 hours - seminar teaching on Service-oriented Architecture) - University of L’Aquila
  • Software Engineering Laboratory I (Massimo Tivoli)
    (6 hours - integrative teaching) - University of L’Aquila
  • Programming Laboratory III (Massimo Tivoli)
    (5 hours - integrative teaching) - University of L’Aquila

A.A. 2008/09

  • Foundations Of Programming Languages (60 hours), part of the two modules course (120 hours) "Introduction To Programming: Foundations And Languages" (Paola Inverardi/Marco Autili and Monica Nesi)
    University of L’Aquila
  • Programming Laboratory III (Massimo Tivoli)
    (6 hours - integrative teaching) - University of L’Aquila

A.A. 2009/10

  • Foundations Of Programming Languages (60 hours), part of the two modules course (120 hours) "Introduction To Programming: Foundations And Languages" (Paola Inverardi/Marco Autili and Monica Nesi)
    University of L’Aquila
  • Analysis and Testing of Component-based Systems (Henry Muccini)
    (4 hours - seminar teaching on Service-oriented Architecture) - University of L’Aquila
  • Computers Architecture Laboratory (Massimo Tivoli)
    (4 hours - seminar teaching on Distributed Architectures) - University of L’Aquila

A.A. 2010/11

  • Foundations Of Programming Languages (60 hours), part of the two modules course (120 hours) "Introduction To Programming: Foundations And Languages" (Paola Inverardi/Marco Autili and Monica Nesi)
    University of L’Aquila
  • Programming Laboratory III (Massimo Tivoli)
    (6 hours - integrative teaching) - University of L’Aquila
  • Computers Architecture Laboratory (Massimo Tivoli)
    (4 hours - seminar teaching on Distributed Architectures) - University of L’Aquila

A.A. 2011/12

  • Foundations Of Programming Languages (60 hours), part of the two modules course (120 hours) "Introduction To Programming: Foundations And Languages" (Paola Inverardi/Marco Autili and Monica Nesi)
    University of L’Aquila
  • Advanced Software Engineering (Vittorio Cortellesa)
    (4 hours - seminar teaching) - University of L’Aquila
  • Programming Laboratory III (Massimo Tivoli)
    (6 hours - integrative teaching) - University of L’Aquila

A.A. 2012/13

  • Foundations Of Programming Languages (60 hours), part of the two modules course (120 hours) "Introduction To Programming: Foundations And Languages" (Paola Inverardi/Marco Autili and Monica Nesi)
    University of L’Aquila
  • Programming Laboratory III (Massimo Tivoli)
    (5 hours - integrative teaching) - University of L’Aquila

A.A. 2013/14

  • Foundations Of Programming Languages (60 hours), part of the two modules course (120 hours) "Introduction To Programming: Foundations And Languages" (Paola Inverardi/Marco Autili and Monica Nesi)
    University of L’Aquila

A.A. 2014/15

  • Foundations Of Programming Languages (60 hours), part of the two modules course (120 hours) "Introduction To Programming: Foundations And Languages" (Paola Inverardi/Marco Autili and Monica Nesi)
    University of L’Aquila

A.A. 2015/16

  • Foundations Of Programming Languages (60 hours), part of the two modules course (120 hours) "Introduction To Programming: Foundations And Languages" (Paola Inverardi/Marco Autili and Monica Nesi)
    University of L’Aquila

A.A. 2016/17

  • OPerating Systems Laboratory (OPSLab) (60 hours), part of the two modules course (120 hours) "Operating Systems with Laboratory" (Marco Autili and Vittorio Cortellessa)
    University of L’Aquila
  • Service-Oriented Software Engineering (SoSE) (48 hours) (Marco Autili)
    University of L’Aquila
  • Adavanced Service-Oriented Software Engineering (ASoSE) (Massimo Tivoli)
    (12 hours - integrative teaching) - University of L’Aquila

A.A. 2017/18

  • OPerating Systems Laboratory (OPSLab) (60 hours), part of the two modules course (120 hours) "Operating Systems with Laboratory" (Marco Autili and Vittorio Cortellessa)
    University of L’Aquila
  • Service-Oriented Software Engineering (SoSE) (48 hours) (Marco Autili)
    University of L’Aquila

External Courses
  • 2005
    (60 hours) Multimedia Designer – IAL-CISL ABRUZZO, L’Aquila

    (60 hours) Tecniche di Programmazione – Pianeta Formazione, Tivoli - Roma

  • 2006
    (120 hours) Expert of Web Multimedia Languages: JAVA Language – Pianeta Formazione, Palombara Sabina, Roma

    (80 hours) Expert of Web Multimedia Languages: Programming Foundations – Palombara Sabina, Roma

  • 2013
    (2 hours - seminar lecture) Model-Based Synthesis Process for Choreography Realizability Enforcement – Gran Sasso Science Institute (GSSI), International PhD school and center for advanced studies in Physics, Mathematics, Computer Science and Social Sciences - L'Aquila (Italy)

  • 2014
    (40 hours) Service Oriented Architecture and Web Service – INTECS S.p.A., L’Aquila

  • 2014
    (36 hours) Service Oriented Architecture – THALES ITALIA S.p.A., Chieti

Released Software Tools

He released the following software tools. Please, visit his Tools page for more details.

  • CHOReOSynth is a set of tools to automatically synthesize an automata-based specification of the coordination logic out of a BPMN2 choreography specification, and to distribute it between the choreography participants
  • CHAMELEON is a framework for tailoring adaptable Java applications for resource-constrained devices and can be used for tackling a form of adaptation to the execution context
  • SYNTHESIS is a tool for automatically synthesizing failure-free connectors for component-based systems
  • PSC is a simple and expressive language for specifying temporal properties as sequence charts