Projects are oriented to the research of new methods of programming, specification and implementation of complex,  distributed software and hardware systems, etc.,  with respect to the development of new programming languages, software engineering tools, network connections and computer architectures.

The list of projects at the beginning of the year 2007 can be found  here.