Member of the 

  • Software Engineering and Architecture Laboratory (SEA lab

  • Software Synthesis group (SoSy group


a bit about me:

I'm an Associate Professor at Dep. of Information Engineering, Computer Science and Mathematics at 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.


My CV in .pdf 




+39 328 0113365 

+39 329 0696550

  • LinkedIn App Icon
  • ResearchGateIcon.png
  • googleScholarIcon.png
  • Twitter App Icon
  • Google+ App Icon

Follow me


© 2014 by Massimo Tivoli. Created with

This site was designed with the
website builder. Create your website today.
Start Now