Nome do Servidor
SIMONE ANDRE DA COSTA CAVALHEIRO
Matrícula SIAPE
1551800
Categoria
Docente
Data de ingresso no serviço público
26/09/2006
Data de ingresso na UFPel
26/09/2006
Data de ingresso no cargo
08/11/2010
Cargo
Professor do Magistério Superior
Classe / Nível
C / 004
Titulação
Doutorado
Lotação
Regime / Jornada de Trabalho
Estatutário / Dedicação Exclusiva
Situação
Ativo Permanente

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 - Educação em Computaçã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.

Pesquisa
Título do Projeto Início Fim CH
Prova de Teoremas para Gramática de GrafosCOORDENADOR DO PROJETO26/05/201831/07/202212
Projeto CompFlexD-GM: Computações Flexíveis via Computação Quântica com Suporte no Ambiente DGM (Prorrogação 2)01/07/201931/07/20212
Propostas Metodológicas para a Introdução do Raciocínio Computacional na EducaçãoCOORDENADOR DO PROJETO01/08/202001/08/20281
Tech&ApplieD-GM: Aplicações Tecnológicas Baseadas em Computações Flexíveis e Heterogêneas com suporte no ambiente DGM20/05/202130/10/20272
Aprendizagem de programação por pares IA-Humano: Explorando o Potencial do ChatGPT para a aprendizagem de Programação25/09/202331/12/20251
Extensão
Título do Projeto Início Fim CH
SACCI Pelotas: Rede de Saberes Articulando Ciências, Criatividade e Imaginação01/04/202131/03/20292
ExpPC Explorando o Pensamento Computacional para a Qualificação do Ensino FundamentalCOORDENADOR DO PROJETO02/01/201730/12/20282
Ensino
Título do Projeto Início Fim CH
Programa de Monitoria da UFPEL01/04/201901/02/20278
Gurias da Comp31/03/202431/03/20261

Disciplinas ministradas nos três últimos semestres

Ano Turma Disciplina CH * Curso
2025/2T1SISTEMAS DISCRETOS
Horários
ManhãTardeNoite
TER10:00 - 10:50
10:50 - 11:40
QUI08:00 - 08:50
08:50 - 09:40
72+0Ciência da Computação (Bacharelado)
2025/2T1TEORIA DA COMPUTAÇÃO
Horários
ManhãTardeNoite
TER08:00 - 08:50
08:50 - 09:40
QUI13:30 - 14:20
14:20 - 15:10
72+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2025/2T1TÓPICOS ESPECIAIS EM COMPUTAÇÃO IV
Horários
ManhãTardeNoite
TER17:10 - 18:00
18:00 - 18:50
QUI17:10 - 18:00
18:00 - 18:50
72+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2025/1T1SISTEMAS DISCRETOS
Horários
ManhãTardeNoite
TER10:00 - 10:50
10:50 - 11:40
QUI10:00 - 10:50
10:50 - 11:40
72+0Ciência da Computação (Bacharelado)
2025/1T2SISTEMAS DISCRETOS
Horários
ManhãTardeNoite
QUI08:00 - 08:50
08:50 - 09:40
SEX10:00 - 10:50
10:50 - 11:40
36+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2025/1T1TEORIA DA COMPUTAÇÃO
Horários
ManhãTardeNoite
TER08:00 - 08:50
08:50 - 09:40
QUI13:30 - 14:20
14:20 - 15:10
72+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2025/11TEORIA DA COMPUTAÇÃO
Horários
ManhãTardeNoite
SEG08:00 - 08:50
08:50 - 09:40
10:00 - 10:50
10:50 - 11:40
34+0Computação (Mestrado acadêmico)
Computação (Doutorado)
2024/2T1SISTEMAS DISCRETOS
Horários
ManhãTardeNoite
TER10:00 - 10:50
10:50 - 11:40
QUI10:00 - 10:50
10:50 - 11:40
72+0Ciência da Computação (Bacharelado)
2024/2T1TÓPICOS ESPECIAIS EM COMPUTAÇÃO IV
Horários
ManhãTardeNoite
TER17:10 - 18:00
18:00 - 18:50
QUI17:10 - 18:00
18:00 - 18:50
36+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2024/2T1TEORIA DA COMPUTAÇÃO
Horários
ManhãTardeNoite
SEG13:30 - 14:20
14:20 - 15:10
QUA13:30 - 14:20
14:20 - 15:10
72+0Ciê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.

Página gerada em 04/08/2025 01:30:30 (consulta levou 2,132670s)