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 | |
| Propostas Metodológicas para a Introdução do Raciocínio Computacional na Educação | 01/08/2020 | 01/08/2028 | 1 | |
| Tech&ApplieD-GM: Aplicações Tecnológicas Baseadas em Computações Flexíveis e Heterogêneas com suporte no ambiente DGM | 20/05/2021 | 30/10/2027 | 2 | |
| 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 | |
| Gurias da Comp | 31/03/2024 | 31/03/2026 | 1 | |
Disciplinas ministradas nos três últimos semestres
* CH - na Graduação e Pós-Graduação indica a carga horária no período.