I am an Associate Professor (Docent in Software Engineering) of the Department of Computer Science and Engineering Chalmers University of Technology and University of Gothenburg and I am an Assistant Professor of the Computer Science department of the University of L'Aquila (on leave). The fingerprint of my research activity can be summarized in one sentence: moving formal methods from theory to practice in software architecture modelling and verification. More information might be found on my personal webpage: http://www.patriziopelliccione.com