Professore Associato

Massimo Tivoli

0000-0001-9290-1997

Software Engineering, Software Architectures, Software Synthesis, Service Oriented Systems
06 Ingegneria del Software
INF/01 - Informatica
Computer Science and Operations Research

Curriculum External site   Scholar DBLP MathSciNet Scopus Research Gate

Home

I'm an associate professor of the Dep. of Information Engineering, Computer Science and Mathematics of the University of L'Aquila.

My main research interests concern the software engineering area with a particular focus on the application of formal methods to the component-based software engineerng for the development of distributed software systems. In particular, my research activities include: the automated synthesis of software connectors for the correct assembly of distributed systems, and the automated composition of software services via the synthesis of orchestrations or 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 ...

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