Dr. Antonio Bucchiarone
Ph.D. in Computer Science and Engineering
Short Introduction
Since November 2008 I am a researcher of the SOA Research Unit at Bruno Kessler Foundation,
Trento, Italy. In July 2008 I received a PhD in Computer Science and
Engineering, with the "Doctor Europaeus" certification, from IMT of Lucca (Italy) while
in April 2003 my first Master Degree in Computer Science ("old law")
from the University of L'Aquila (Italy) and the second in October 2005
in Information Technologies (class 23/s) from University of Pisa
(Italy). Since 2004 I has been a collaborator of Formal Methods and
Tools Group FM&&T
at ISTI-CNR
of Pisa (Italy).
Research Interests
-
Software Engineering
- Service-based Applications(SBAs) and Service Composition(SC)
- Software Architectures(SA) and Dynamic Software Architectures(DSAs)
- Component-based Systems
- Requirements Engineering(RE)
- Testing
- Model Driven Engineering(MDE)
-
Formal Methods
- Typed Hypergraph Grammars and Graph Transformation
- Model-Checking
- First-order Logic(i.e., Alloy)
- Process Algebras
PC membership
- Model Driven Engineering, session of the 35th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), Patras, Greece, August 27-29, 2009.
- IADIS International Conference on Applied Computing 2008 , Algarve, Portugal 10-13 April 2008
- IADIS International Conference on Applied Computing 2007, Salamanca, Spain 18-20 February 2007
Download Curriculum Vitae [ENG] 
Download Curriculum Vitae [ITA]