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: risultati del 1° appello del 16.01.2025

Sul canale Generale del Teams del corso sono stati pubblicati i risultati dell'appello del 16.01.2025 e fornite le istruzioni per l'eventuale verbalizzazione del voto. ...

[Arch. degli Elab.] Risultati della prima prova parziale del 14.11.2024

Si informano gli studenti che, riguardo alla prima prova parziale per il corso di Arch. degli Elab. svoltasi in data 14.11.2024, sul Team del corso sono stati pubblicati i voti ...

Assegno di Ricerca presso IASI-CNR di Roma

IASI-CNR (Istituto di Analisi dei Sistemi ed Informatica "A. Ruberti", Roma) ha aperto un bando per un assegno di ricerca nell'ambito del progetto PRIN 2022 "DOMAIN: Taming ...

Utilizziamo i cookie per offrirti il ​​nostro servizio. Continuando a utilizzare questo sito acconsenti al nostro utilizzo dei cookie come descritto nella nostra policy.