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.