Ongoing Projects

2005-2009 Postdoc Contract (09/2005 – 08/2006). Project EC FET Global Computing 2, IST-2005-16004
Software Engineering for Service-Oriented Overlay Computers

Closed Projects

2001-2005 Postdoc Contract (10/2002 – 04/2005). Project EC FET Global Computing, IST-2001-32747
AGILE: Architectures for Mobility.

2003-2005 External Collaborator. Argentine National Project PICT 11-11738,
Theory and Tools for the Construction of Critical Software.
Director: Prof. Victor Braberman (UBA).

2003 Young Researchers Funding. Project from Universidad de Buenos Aires X407, UBACyT, funded by the Incentives to Research program, Ministry of Education and Science, Argentina.
Simulation and Formal Modelling of Reconfigurable Software Architectures.

2001-2002 Member. Project from Universidad de Buenos Aires X094, UBACyT,
Formal Methods in Software Engineering. Director: Prof. Marcelo Frias (UBA).

1998-2000 Member. Argentine National Project PICT 11-00000-01856, and Project from Universidad de Buenos Aires TW72, UBACyT,
Software Architectures and Testing of Software Systems.
Director: Prof. Daniel Yankelevich (UBA).

1995-1998 Member. Project from Universidad de Buenos Aires EX186, UBACyT,
A Practical Formal Methodology for Software Development.
Director: Prof. Daniel Yankelevich (UBA).

---