SIMONE ANDRE DA COSTA CAVALHEIRO

Nome do Servidor

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

Centro de Desenvolvimento Tecnológico

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 PROJETO	26/05/2018	31/07/2022	12
Proposta Metodológica para a Introdução do Raciocínio Computacional no Ensino FundamentalCOORDENADOR DO PROJETO	04/03/2017	01/08/2020	6
Prova de Teoremas para Gramática de GrafosCOORDENADOR DO PROJETO	26/05/2014	25/05/2018	16
Projeto CompFlexD-GM: Computações Flexíveis via Computação Quântica com Suporte no Ambiente D-GM	01/05/2014	30/04/2017	2
Projeto CompFlexD-GM: Computações Flexíveis via Computação Quântica com Suporte no Ambiente D-GM	01/05/2014	30/04/2017	2
Proposta Metodológica para a Introdução do Raciocínio Computacional no Ensino FundamentalCOORDENADOR DO PROJETO	02/03/2015	03/03/2017	2
Desenvolvimento Correto de Sistemas Computacionais	01/09/2012	01/09/2016	2
Explorando o Formalismo de Gramática de Grafos na Especificação e Verificação Formal de Sistemas DistribuídosCOORDENADOR DO PROJETO	03/10/2010	03/10/2014	2
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 IV	01/05/2018	31/12/2018	1
Projeto de Apoio à Aprendizagem e Combate a Desistência em Disciplinas dos Cursos de Ciência e Engenharia de Computação – Ano III	01/06/2017	31/12/2017	1
Projeto de Apoio à Aprendizagem e Combate a Desistência em Disciplinas dos Cursos de Ciência e Engenharia de Computação -- Ano II	02/05/2016	16/12/2016	1
A aprendizagem na formação do pensamento computacional	18/04/2016	16/12/2016	1
Projeto de Apoio à Aprendizagem e Combate a Desistência em Disciplinas dos Cursos de Ciência e Engenharia da Computação	11/05/2015	31/12/2015	1
Extensão
Título do Projeto	Início	Fim	CH
ExpPC Explorando o Pensamento Computacional para a Qualificação do Ensino FundamentalCOORDENADOR DO PROJETO	02/01/2017	31/12/2020	2