Ensino

Publicações

Pesquisa

• Pi-Calculus
• Ambient-Calculus
• Algebra de Processos para Biologia
• Lógicas

Atividades Acadêmicas

Ata do XVII colóquio de Iniciação Científica do IME-USP (2003)
Trabalho: PiG - Pi-Calculus Gráfico

WMF - Workshop on Formal Methods (2003)
Trabalho: Um ambiente para Especificação e Verificação de Agentes Móveis (Poster)
Co-Autores: Ana C. V. de Melo e Marcelo de Moura Amorim
.