Member of the
Software Engineering and Architecture Laboratory (SEA lab)
Software Synthesis group (SoSy group)
Please, contribute to the
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