Amleto Di Salle

2b∨¬2b ≡ ?

Amleto Di Salle is currently an assistant professor (tenure track) at the Gran Sasso Science Institute (Italy) and previously an assistant professor at European University of Rome (Italy). He received a Ph.D. in computer science from the University of L'Aquila.


His research focuses on various aspects of software engineering, particularly on the composition of distributed systems, software architectures, model-based software engineering, and the evolution of software systems, with a focus on technical debt. He is the author of more than 35 papers published in international conferences and journals.

He has been involved in the PC of several conferences and is organized several workshops, such as SERENE, MDE4SA, and FPVM. He is a reviewer for many journals, such as IEEE Transactions on Software Engineering, IEEE Software, IEEE Transactions on Services Computing, Science of Computer Programming, and Journal of Systems and Software. He is currently the special guest editor of the special issue "Foundations and Practice of Visual Modeling (FPVM)" of the Journal of Computer Languages.

He has been involved in several European and national research projects, such as CHOReOS, CHOReVOLUTION, INCIPICT, Territori Aperti, Banca Dati Emergenze.







CHOReVOLUTION elevates the Readiness Level of existing choreography technologies in order to drop the dynamism and cross-organization security barriers via the automated synthesis of dynamic and secured choreographies in the Future Internet.


It is a Web-based modeling framework supporting a wide number of model management operations including model transformation, and model analysis.


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