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/Assoc./Tit.
Classe / Nível
7 / 701
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

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.

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
Proposta Metodológica para a Introdução do Raciocínio Computacional no Ensino FundamentalCOORDENADOR DO PROJETO04/03/201701/08/20206
Prova de Teoremas para Gramática de GrafosCOORDENADOR DO PROJETO26/05/201425/05/201816
Projeto CompFlexD-GM: Computações Flexíveis via Computação Quântica com Suporte no Ambiente D-GM01/05/201430/04/20172
Projeto CompFlexD-GM: Computações Flexíveis via Computação Quântica com Suporte no Ambiente D-GM01/05/201430/04/20172
Proposta Metodológica para a Introdução do Raciocínio Computacional no Ensino FundamentalCOORDENADOR DO PROJETO02/03/201503/03/20172
Desenvolvimento Correto de Sistemas Computacionais01/09/201201/09/20162
Ensino
Título do Projeto Início Fim CH
Projeto de Apoio à Aprendizagem e Combate a Desistência em Disciplinas dos Cursos de Ciência e Engenharia de Computação – Ano IV01/05/201831/12/20181
Projeto de Apoio à Aprendizagem e Combate a Desistência em Disciplinas dos Cursos de Ciência e Engenharia de Computação – Ano III01/06/201731/12/20171
Projeto de Apoio à Aprendizagem e Combate a Desistência em Disciplinas dos Cursos de Ciência e Engenharia de Computação -- Ano II02/05/201616/12/20161
A aprendizagem na formação do pensamento computacional18/04/201616/12/20161
Projeto de Apoio à Aprendizagem e Combate a Desistência em Disciplinas dos Cursos de Ciência e Engenharia da Computação11/05/201531/12/20151
Extensão
Título do Projeto Início Fim CH
ExpPC Explorando o Pensamento Computacional para a Qualificação do Ensino FundamentalCOORDENADOR DO PROJETO02/01/201731/12/20202

Disciplinas ministradas nos três últimos semestres

Ano Turma Disciplina CH * Curso
2019/2T1SISTEMAS DISCRETOS
Horários
ManhãTardeNoite
TER10:00 - 10:50
10:50 - 11:40
SEG15:10 - 16:00
16:00 - 16:50
72+0Ciência da Computação (Bacharelado)
2019/2T3SISTEMAS DISCRETOS
Horários
ManhãTardeNoite
SEG08:00 - 08:50
08:50 - 09:40
QUA15:10 - 16:00
16:00 - 16:50
72+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2019/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)
2019/1T1SISTEMAS DISCRETOS
Horários
ManhãTardeNoite
TER10:00 - 10:50
10:50 - 11:40
SEG15:10 - 16:00
16:00 - 16:50
72+0Ciência da Computação (Bacharelado)
2019/1T3SISTEMAS DISCRETOS
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)
2019/1T1TEORIA DA COMPUTAÇÃO
Horários
ManhãTardeNoite
TER08:00 - 08:50
08:50 - 09:40
QUA15:10 - 16:00
16:00 - 16:50
72+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2019/11TEORIA DA COMPUTAÇÃO
Horários
ManhãTardeNoite
SEG08:00 - 08:50
08:50 - 09:40
10:00 - 10:50
10:50 - 11:40
4+0Computação (Mestrado acadêmico)
Computação (Doutorado)
2018/2T1SISTEMAS DISCRETOS
Horários
ManhãTardeNoite
TER10:00 - 10:50
10:50 - 11:40
SEG15:10 - 16:00
16:00 - 16:50
68+0Ciência da Computação (Bacharelado)
2018/2T3SISTEMAS DISCRETOS
Horários
ManhãTardeNoite
SEG13:30 - 14:20
14:20 - 15:10
QUA13:30 - 14:20
14:20 - 15:10
68+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2018/2T1TEORIA DA COMPUTAÇÃO
Horários
ManhãTardeNoite
TER08:00 - 08:50
08:50 - 09:40
QUA15:10 - 16:00
16:00 - 16:50
68+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)

* CH - na Graduação indica a carga horária no período; na Pós-Graduação indica a carga horária semanal.

Página gerada em 15/10/2019 21:02:17 (consulta levou 0.427019s)