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
Ciência da Computação - Pensamento Computacional
Ciência da Computação - Métodos Formais
Ciência da Computação - Teoria da 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
| Ano | Turma | Disciplina | CH * | Curso | ||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 2023/2 | T1 | TEORIA DA COMPUTAÇÃO Horários
| 72+0 | Ciência da Computação (Bacharelado) Engenharia de Computação (Bacharelado) | ||||||
| 2023/2 | T1 | TÓPICOS ESPECIAIS EM COMPUTAÇÃO IV Horários
| 36+0 | Ciência da Computação (Bacharelado) Engenharia de Computação (Bacharelado) | ||||||
| 2023/2 | T1 | SISTEMAS DISCRETOS Horários
| 72+0 | Ciência da Computação (Bacharelado) | ||||||
| 2023/1 | 01 | TEORIA DA COMPUTAÇÃO Horários
| 34+0 | Computação (Mestrado acadêmico) Computação (Doutorado) | ||||||
| 2023/1 | T2 | SISTEMAS DISCRETOS Horários
| 72+0 | Ciência da Computação (Bacharelado) | ||||||
| 2023/1 | T1 | SISTEMAS DISCRETOS Horários
| 36+0 | Engenharia de Computação (Bacharelado) | ||||||
| 2023/1 | T1 | TEORIA DA COMPUTAÇÃO Horários
| 72+0 | Ciência da Computação (Bacharelado) Engenharia de Computação (Bacharelado) | ||||||
| 2023/1 | T1 | TÓPICOS ESPECIAIS EM COMPUTAÇÃO IV Horários
| 36+0 | Ciência da Computação (Bacharelado) Engenharia de Computação (Bacharelado) | ||||||
| 2022/2 | T1 | SISTEMAS DISCRETOS Horários
| 72+0 | Ciência da Computação (Bacharelado) | ||||||
| 2022/2 | T1 | TEORIA DA COMPUTAÇÃO Horários
| 72+0 | Ciência da Computação (Bacharelado) Engenharia de Computação (Bacharelado) | ||||||
| 2022/2 | T2 | SISTEMAS DISCRETOS Horários
| 36+0 | Ciência da Computação (Bacharelado) Engenharia de Computação (Bacharelado) |
* CH - na Graduação e Pós-Graduação indica a carga horária no período.