Professore Ordinario
Massimo Tivoli
Software Engineering, Software Architectures, Software Synthesis, Service Oriented Systems
06 SWEN (Software Engineering)
INF/01 - Informatica
Computer Science and Operations Research
Curriculum External site Scholar DBLP MathSciNet Scopus Research Gate
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
Architettura degli Elaboratori: Cambio aula per la lezione di lunedì 29.11.2021
Per gli studenti che seguiranno in presenza, si fa presente che la lezione di lunedì 29.11.2021 si svolgerà in aula C1.12 invece che in aula C1.10 come di consueto. ...
Architettura degli elaboratori
A causa della temporanea indisponibilità dell'aula, si avvisano gli studenti che la lezione di Giovedì 28 ottobre 2021 verrà effettuata via Teams attraverso il ...
Architettura degli elaboratori
Si avvisano gli studenti che la lezione di Giovedì 7 ottobre 2021 verrà sospesa perché il docente è impegnato come membro di commissione per un concorso ...
Informazioni
Address
Università degli Studi dell'Aquila
Via Vetoio - I-67100 L'Aquila