Dr Vieri del Bianco

Vieri del Bianco received the Laurea in Electronics Engineering at the University of Firenze in 1999. The final dissertation concerned the development of a software process suited for research and pilot projects in an academic setting; the process was applied for the refactoring of an existing system, the system objective was the model checking of TCTL properties on systems modelled with TPN (Time Petri Nets). In 2000 he received the Master degree in Information Technology, with specialization in Software Engineering, from CEFRIEL. During the master course he worked in a project concerning the evaluation of application servers through software metrics and usage scenarios. Since 2000 he works as a researcher at the Software Engineering unit at CEFRIEL. In 2005 he obtained his Ph.D. degree from Politecnico di Milano; the main thesis concerned the development of a UML based formal notation, UML+, to support the specification of Real-Time systems and to enable the transformation of UML+ models to other formal languages (TRIO and Timed Automata). Currently he is a researcher at University of Insubria, where he is working at the Qualipso project, an Integrated Project funded by the EU and devoted to define and implement technologies, procedures and policies to leverage the Open Source Software development current practices to sound and well recognised and established industrial operations.

He was involved in a few research projects, including the ITEA project DESS (Development process for real-time Embedded Software Systems), and the MIUR project DICE (Distributed Infrastructure for Cultural hEritage).

In DESS he worked at the integration of UML and formal methods for the rigorous and verifiable specification of real-time systems. In DICE he worked at the definition of a peer-to-peer architecture of a platform supporting information sharing among stakeholders of cultural heritage information.

His current research interests are embedded and real-time systems, formal systems and notations, software processes, agile methodologies, aspect-oriented programming, configuration management, software test, software metrics and software reuse.