Current R&D projects

FCT FORDESIGN - Formal Methods for Embedded Systems Co-Design (2005-08)

FCT AMADEUS - Aspects and Compiler Optimizations for MATLAB System Development (2007-2010)

Current Collaborative projects

to be completed

Leonardo da Vinci COMPLETE - New Strategies of COMPetence Acquisition for Lifelong Learning in Energy-Transport-Environment Engineering (2005-07)

Leonardo da Vinci VET-TREND - Valorisation of an Experiment-based Training System through a Transnational Educational Network Development (2006-2008)

Minerva IDENTITY - INDIVIDUALIZED LEARNING ENHANCED BY VIRTUAL REALITY (2006-2008)