About me

AMLETO DI SALLE is Assistant Professor at the Department of Information Engineering Computer Science and Mathematics of the University of L'Aquila.
He actively works on the (from theory to practice) application of software engineering methods and (practical) formalisms to the modeling, verification, analysis and automatic synthesis of component-based and service-oriented distributed systems, and application of context-oriented programming and analysis techniques to the development of adaptable (mobile) applications.

Education

PhD Degree in Computer Science and Application

Thesis Title: Automated Synthesis of Service Choreographies
Received from: University of L’Aquila, Italy
Supervisor and co-supervisor: prof. Paola Inverardi, dr. Marco Autili
Period: October 2011 - October 2014

Master degree in Computer Science with first-class honors

Thesis Title: Tecniche di reingegnerizzazione basate sulla specifica formale: un caso di studio
Received from: University of L’Aquila, Italy
Supervisor and co-supervisor: prof. Paola Inverardi, prof. Benedetto Intrigila
Date: 08 April 1998

Current Position

1 June 2016 – Today

Assistant Professor (temporary position) at Department of Information Engineering, Computer Science and Mathematics (DISIM), University of L’Aquila

Professional Experiences

December 2008 – May 2016

Technical Engineer at Department of Information Engineering, Computer Science and Mathematics (DISIM), University of L’Aquila

August 2008 – December 2008

Software Architect at Gruppo Imola Informatica

August 2008 – April 2005

Software Architect at Istituto Zooprofilattico Sperimentale dell'Abruzzo e del Molise "G. Caporale", Teramo

December 2005 – December 2002

Software Engineer at Consorzio Anagrafe Animale, Roma -- Università degli studi dell’Aquila, L’Aquila -- Istituto Zooprofilattico Sperimentale dell’Abruzzo e del Molise “G. Caporale”, Teramo

September 2002 – December 2002

Software Engineer at Abruzzo Chef, L’Aquila

May 2001 – September 2002

Software Engineer at Smarten S.p.A. - Rome

February 2000 - May 2001

Software Engineer at Ericsson Lab Italy - Rome

February 2000 - November 2003

Founder of NetCube company, L'Aquila

September 1998 - February 2000

Programmer at Parco Scientifico e Tecnologico d'Abruzzo, L'Aquila

September 1998 - January 2000

Programmer at Italsoft S.r.l. Rome

September 1994 - July 1996

Programmer at Forcast s.r.l. Sulmona (AQ)