AMLETO DI SALLE is Research Fellow 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.
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
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
Research Fellow (temporary position) at Department of Information Engineering, Computer Science and Mathematics (DISIM), University of L’Aquila
Technical Engineer at Department of Information Engineering, Computer Science and Mathematics (DISIM), University of L’Aquila
Software Architect at Gruppo Imola Informatica
Software Architect at Istituto Zooprofilattico Sperimentale dell'Abruzzo e del Molise "G. Caporale", Teramo
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
Software Engineer at Abruzzo Chef, L’Aquila
Software Engineer at Smarten S.p.A. - Rome
Software Engineer at Ericsson Lab Italy - Rome
Founder of NetCube company, L'Aquila
Programmer at Parco Scientifico e Tecnologico d'Abruzzo, L'Aquila
Programmer at Italsoft S.r.l. Rome
Programmer at Forcast s.r.l. Sulmona (AQ)