Projetos

1999 - 2001 - CO-OP - Calculus of Object-Oriented Programming

1995 - Present - Álgebra de Refinamentos e Aplicações - Projeto de Produtividade em Pesquisa (PQ)

1995 - 1997 - Projeto Integrado de Software e Hardware (PISH)

1994 - 1997 - Provably Correct Systems (Keep-in-Touch Activity, funded by the European Comission)

Veja mais: 12