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: risultati appello del 16.07.2024
Si informano gli studenti che sul Team del corso (canale Generale) sono stati pubblicati i risultati della prova scritta del 16.07.2024 e relative istruzioni per la verbalizzazione ...
Proposta di lavoro per Sviluppatori di Software
BIOENGINEERING & BIOMEDICINE COMPANY SRL, Azienda leader nel campo delle tecnologie biomedicali e dei Sistemi Integrati per l’Analisi del Movimento e della ...
Offerta di lavoro per neolaureati in ingegneria informatica o informatica
La società VJ Technology S.r.l. di Roma ricerca neolaureati in ingegneria informatica o informatica per l'impiego, a tempo pieno, nell’attuazione di progetti ...
Informazioni
Address
Università degli Studi dell'Aquila
Via Vetoio - I-67100 L'Aquila