Docente

Sobre

Professor(a) do quadro docente do Departamento de Ciência da Computação da Universidade de Brasília.

Pesquisa

Linhas de Pesquisa

• Engenharia de Software
• Métodos Formais
• Sistemas de Software

Produção

Publicações

[INSERIR: publicações recentes — não há uma base de produção bibliográfica do CIC consultada nesta produção (diferente do EST, que tem site_est/extracted/21_pesq_producao.html); consultar o Currículo Lattes do(a) docente]

Ensino

Disciplinas Ministradas

[INSERIR: disciplinas ministradas — não há fonte disponível para este dado; consultar o SIGAA ou a Coordenação de Graduação]