Participation on ongoing projects

• ATTEST - AlgoriThms and Tools for reasoning about dEpendable SysTems
  Ongoing since October 1st 2010, concludes in September 1st 2012
  Pedro Barahona, Marco Correia, Francisco Azevedo
• GIO - Grid Intelligence and Optimsation
  Ongoing since June 2009, concludes in 2016
  Francisco Azevedo
• IBM-SUR - Parallel and Distributed Computational Models for Scientific Applications on Cell Processor Clusters
  Ongoing since 2007
  Salvador Abreu, Luís Moniz Pereira, Armando Fernandes, Carlos Damásio, Francisco Azevedo, Irene Rodrigues, Lígia Ferreia, Pedro Barahona, Susana Nascimento