Portal InstitucionalUFPEL

Resumo

Possui graduação em Bacharelado Em Ciência da Computação pela Universidade de Caxias do Sul (2000), mestrado em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (2003) e doutorado em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (2008). Atualmente é professora da Universidade Federal de Pelotas. Tem experiência na área de Ciência da Computação, com ênfase em Linguagem Formais e Autômatos, atuando principalmente nos seguintes temas: semântica formal, especificação e verificação formal, linguagens formais, transformação de modelos.

Formação acadêmica

Doutorado em Computação (Universidade Federal do Rio Grande do Sul, 2008)
Mestrado em Computação (Universidade Federal do Rio Grande do Sul, 2003)
Graduação em Bacharelado Em Ciência da Computação (Universidade de Caxias do Sul, 2000)

Áreas de atuação

Teoria da Computação - Linguagem Formais e Autômatos
Teoria da Computação - Lógicas e Semântica de Programas

Informações extraídas do Lattes

Participação do servidor em projetos nos últimos 5 anos

CH indica a carga horária semanal.

Disciplinas ministradas nos três últimos semestres

* CH - na Graduação e Pós-Graduação indica a carga horária no período.