Publicado em: 26/04/2010
Fabiane Cristine Dillenburg
 |
E-mail: fabiane.dillenburg@inf.ufrgs.br Telefone: +55 51 3308-6155 Sala: 202 – Prédio 67 Currículo Lattes: http://lattes.cnpq.br/0344686215330654 |
Curso: Doutorado
Orientador: Leila Ribeiro 
Ingresso: 2010/1
» Qualificações:
- Bacharelado em Ciência da Computação (UNISINOS, São Leopoldo, Brasil, 2009)
» Áreas de Interesse:
- Métodos Formais para especificação, desenvolvimento e análise de sistemas computacionais
- Engenharia de Software, em especial fundamentação teórica de Desenvolvimento orientado a Modelos e Técnicas de Análise (Verificação e Prova de Propriedades)