Professore Ordinario

Massimo Tivoli

0000-0001-9290-1997

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

La lezione di lunedì 25.09.2023 viene sospesa per indisponibilità del docente. Le lezioni per il corso di Architettura degli Elaboratori inizieranno il giorno ...

Business Processes Development – Lecture on March, 9th

The tomorrow lecture on march, 9th 2023 will be suspended for unavailability of the teacher. ...

Offerta di lavoro presso Tirasa S.r.L., Pescara

Junior IAM DeveloperRiferimento: https://www.tirasa.net/contatti/lavora-con-noi#junior-iam Ricerchiamo laureandi / neolaureati in Informatica o in possesso del Master in Web ...