![](/img/escudo-ufpel-fff.png)
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.
Pesquisa | ||||
---|---|---|---|---|
Título do Projeto | Início | Fim | CH | |
Prova de Teoremas para Gramática de Grafos | 26/05/2018 | 31/07/2022 | 10 | |
Projeto CompFlexD-GM: Computações Flexíveis via Computação Quântica com Suporte no Ambiente DGM (Prorrogação 2) | 01/07/2019 | 31/07/2021 | 2 | |
Proposta Metodológica para a Introdução do Raciocínio Computacional no Ensino Fundamental | 17/07/2018 | 01/08/2020 | 4 | |
Projeto CompFlexD-GM: Computações Flexíveis via Computação Quântica com Suporte no Ambiente D-GM | 01/05/2014 | 29/04/2017 | 2 | |
Aprendizagem de programação por pares IA-Humano: Explorando o Potencial do ChatGPT para a aprendizagem de Programação | 25/09/2023 | 31/12/2025 | 1 | |
Extensão | ||||
Título do Projeto | Início | Fim | CH | |
SACCI Pelotas: Rede de Saberes Articulando Ciências, Criatividade e ImaginaçãoCOORDENADOR DO PROJETO | 01/04/2021 | 31/03/2029 | 2 | |
ExpPC Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental | 02/01/2017 | 31/12/2020 | 2 | |
Ensino | ||||
Título do Projeto | Início | Fim | CH | |
Programa de Monitoria da UFPEL | 01/04/2019 | 01/02/2027 | 7 |
Disciplinas ministradas nos três últimos semestres
Ano | Turma | Disciplina | CH * | Curso | ||||||
---|---|---|---|---|---|---|---|---|---|---|
2024/1 | 1 | TEORIA DA COMPUTAÇÃO Horários
| 34+0 | Computação (Mestrado acadêmico) Computação (Doutorado) | ||||||
2024/1 | T2 | SISTEMAS DISCRETOS Horários
| 36+0 | Engenharia de Computação (Bacharelado) | ||||||
2024/1 | T1 | LINGUAGENS FORMAIS Horários
| 72+0 | Ciência da Computação (Bacharelado) | ||||||
2024/1 | T2 | LINGUAGENS FORMAIS Horários
| 72+0 | Ciência da Computação (Bacharelado) Engenharia de Computação (Bacharelado) | ||||||
2023/2 | T1 | LINGUAGENS FORMAIS Horários
| 72+0 | Ciência da Computação (Bacharelado) | ||||||
2023/2 | T2 | LINGUAGENS FORMAIS 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/1 | 01 | TEORIA DA COMPUTAÇÃO Horários
| 34+0 | Computação (Mestrado acadêmico) Computação (Doutorado) | ||||||
2023/1 | T1 | SISTEMAS DISCRETOS Horários
| 36+0 | Engenharia de Computação (Bacharelado) | ||||||
2023/1 | T2 | LINGUAGENS FORMAIS Horários
| 72+0 | Engenharia de Computação (Bacharelado) | ||||||
2023/1 | T1 | LINGUAGENS FORMAIS Horários
| 72+0 | Ciência da 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) |
* CH - na Graduação e Pós-Graduação indica a carga horária no período.