Derivação automática de programas, coordenado pelo prof. Carlos Camarão de Figueiredo, com vigência de 01-01-2004 a 31-12-2010.

Engenharia de usabilidade, coordenado pelo prof. Clarindo  Pereira da Silva e Pádua, com vigência de 01-01-2007 a 31-12-2010.

Métodos de lanczos com reortogonalização primária para decomposição de valores singulares, coordenado pelo prof. Frederico Ferreira Campos, filho, com vigência de 01-01-2005 a 31-12-2010.

Métodos e ferramentas de documentação de programas e especificação formal executável, coordenado pelo prof. Roberto da Silva Bigonha e a participação da profa. Mariza Andrade da Silva Bigonha, com vigência de 01-01-2004 a 31-12-2010.

Métodos, técnicas e ferramentas de modelagem e desenvolvimento de software, coordenado pelo prof. Rodolfo Sérgio Ferreira de Resende e a participação do prof. Clarindo Isaías Pereira da Silva e Pádua, com vigência de 01-01-2007 a 31-12-2010.

Novas abstrações para ambientes de programação, coordenado pelo prof. Roberto da Silva Bigonha e a participação da profa. Mariza Andrade da Silva Bigonha, com vigência de 01-01-2004 a 31-12-2010.

NAMITEC: Tecnologias de micro e nanoeletrônica para sistemas integrados inteligentes, coordenado pelo prof. Jacobus Willibrordus Swart, do Centro de Componentes Semicondutores da UNICAMP, e a participação do prof. Antonio Alfredo Ferreira Loureiro, com vigência de 01-11-2005 a 31-12-2010.

Princípios de programação orientada à objetos, coordenado pelo prof. Roberto da Silva Bigonha e a participação da profa. Mariza Andrade da Silva Bigonha, com vigência de 01-01-2004 a 31-12-2010.