
Resumo
possui graduação em Engenharia Civil pela Universidade Católica de Pelotas (1998), graduação em Licenciatura em Matematica pela Universidade Federal de Pelotas (1998), mestrado (2000) e doutorado (2010) em Ciência da Computação pela Universidade Federal do Rio Grande do Sul. Atualmente é professora adjunta da Universidade Federal de Pelotas - UFPel. Atua na área de Ciência da Computação, principalmente em Métodos Formais e Pensamento Computacional.
Formação acadêmica
Doutorado em Ciência da Computação (Universidade Federal do Rio Grande do Sul, 2010)
Mestrado em Ciência da Computação (Universidade Federal do Rio Grande do Sul, 2000)
Graduação em Engenharia Civil (Universidade Católica de Pelotas, 1998)
Graduação em Licenciatura em Matematica (Universidade Federal de Pelotas, 1998)
Áreas de atuação
Sistemas de Computação - Métodos Formais
Ciência da Computação - Teoria da Computação
Teoria da Computação - Computabilidade e Modelos de Computação
Teoria da Computação - Linguagem Formais e Autômatos
Teoria da Computação - Lógicas e Semântica de Programas
Teoria da Computação - Análise de Algoritmos e Complexidade de Computação
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.