Home

I'm a Full Professor of the Dep. of Information Engineering, Computer Science and Mathematics of the University of L'Aquila.

My research interests concern software engineering and are focused on the application of formal methods for the component-based development of distributed software systems. In particular, my research activities include the synthesis of software connectors/adapters/mediators and software services composition via the synthesis of orchestrations and choreographies.

Address

Via Vetoio s.n.c., Loc. Coppito
I-67100, L'Aquila (AQ), Italy
room 207 (building "Blocco 0")

email: massimo.tivoli@univaq.it