Nome do Servidor
ANDRE RAUBER DU BOIS
Matrícula SIAPE
1718240
Categoria
Docente
Data de ingresso no serviço público
11/08/2009
Data de ingresso na UFPel
11/08/2009
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 Bacharelado Em Ciência da Computação pela Universidade Católica de Pelotas (1998), mestrado em Computação pela Universidade Federal do Rio Grande do Sul (2001) e doutorado em Ciência da Computação - Heriot-Watt University (2006). Atualmente é professor adjunto da Universidade Federal de Pelotas. Tem experiência na área de Ciência da Computação, com ênfase em Linguagens Funcionais, atuando principalmente nos seguintes temas: programação funcional, haskell, mobilidade de codigo, implementação de linguagens funcionais e matemática intervalar.

Formação acadêmica

Doutorado em Ciência da Computação (Heriot-Watt University, 2006)
Mestrado em Computação (Universidade Federal do Rio Grande do Sul, 2001)
Graduação em Bacharelado Em Ciência da Computação (Universidade Católica de Pelotas, 1998)

Áreas de atuação

Teoria da Computação - Linguagens Funcionais
Sistemas de Computação - Sistemas Distribuidos
Sistemas de Computação - Paralelismo
Sistemas de Computação - Mobilidade de Codigo
Sistemas de Computação - Linguagens de Programacao
Sistemas de Computação - Compiladores

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
Memória Transacional Adaptativa para Arquiteturas HeterogêneasCOORDENADOR DO PROJETO08/11/201608/11/201915
Técnicas para Computação Sustentável em Ambientes Paralelos e Ubíquos01/08/201731/08/20191
Estratégias para escalonamento de tarefas em arquiteturas multithread13/02/201512/02/20182
Estratégias para escalonamento de tarefas em arquiteturas multithread13/02/201512/02/20182
Proposta Metodológica para a Introdução do Raciocínio Computacional no Ensino Fundamental02/03/201503/03/20172
Proposta Metodológica para a Introdução do Raciocínio Computacional no Ensino Fundamental02/03/201503/03/20172
Memória Transacional Adaptativa para Arquiteturas HeterogêneasCOORDENADOR DO PROJETO07/10/201307/11/201620
Técnicas para Computação Sustentável em Ambientes Paralelos e Ubíquos06/04/201506/04/20151
Técnicas para Computação Sustentável em Ambientes Paralelos e Ubíquos06/04/201506/04/20151
Técnicas para Computação Sustentável em Ambientes Paralelos e Ubíquos01/08/201331/07/20141
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
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 Fundamental02/01/201731/12/20204

Disciplinas ministradas nos três últimos semestres

Ano Turma Disciplina CH * Curso
2018/2T1SEMÂNTICA FORMAL
Horários
ManhãTardeNoite
SEG15:10 - 16:00
16:00 - 16:50
QUI15:10 - 16:00
16:00 - 16:50
68+0Ciência da Computação (Bacharelado)
2018/2M1PROJETO DE COMPILADORES
Horários
ManhãTardeNoite
TER13:30 - 14:20
14:20 - 15:10
QUA13:30 - 14:20
14:20 - 15:10
51+17Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2018/21SEMINÁRIOS DE PESQUISA EM COMPUTAÇÃO II
Horários
ManhãTardeNoite
SEG18:50 - 19:40
19:40 - 20:30
0+0Computação (Mestrado acadêmico)
Computação (Doutorado)
2018/21TÓPICOS ESPECIAIS EM COMPUTAÇÃO I
Horários
ManhãTardeNoite
QUI13:30 - 14:20
14:20 - 15:10
2+0Computação (Mestrado acadêmico)
Computação (Doutorado)
2018/1T1SEMÂNTICA FORMAL
Horários
ManhãTardeNoite
SEG15:10 - 16:00
16:00 - 16:50
QUI15:10 - 16:00
16:00 - 16:50
68+0Ciência da Computação (Bacharelado)
2018/1T1TÓPICOS ESPECIAIS EM COMPUTAÇÃO II
Horários
ManhãTardeNoite
TER17:10 - 18:00
18:00 - 18:50
QUA17:10 - 18:00
18:00 - 18:50
68+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2018/1T1TÓPICOS ESPECIAIS EM COMPUTAÇÃO IV
Horários
ManhãTardeNoite
TER17:10 - 18:00
18:00 - 18:50
QUA17:10 - 18:00
18:00 - 18:50
0+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2018/1M1PROJETO DE COMPILADORES
Horários
ManhãTardeNoite
TER15:10 - 16:00
16:00 - 16:50
QUA15:10 - 16:00
16:00 - 16:50
51+17Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2018/11Seminários de pesquisa em Computação I
Horários
ManhãTardeNoite
SEG17:10 - 18:00
18:00 - 18:50
0+0Computação (Mestrado acadêmico)
Computação (Doutorado)
2017/2T1LÓGICA PARA COMPUTAÇÃO
Horários
ManhãTardeNoite
TER08:00 - 08:50
08:50 - 09:40
QUI08:00 - 08:50
08:50 - 09:40
68+0Ciência da Computação (Bacharelado)
2017/2T1SEMÂNTICA FORMAL
Horários
ManhãTardeNoite
SEG15:10 - 16:00
16:00 - 16:50
QUI15:10 - 16:00
16:00 - 16:50
68+0Ciência da Computação (Bacharelado)
2017/2M1PROJETO DE COMPILADORES
Horários
ManhãTardeNoite
TER15:10 - 16:00
16:00 - 16:50
QUA15:10 - 16:00
16:00 - 16:50
51+17Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2017/2M1TRABALHO DE CONCLUSÃO DE CURSO II0+17Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)

* CH indica a carga horária no período.

Página gerada em 12/12/2018 21:34:01 (consulta levou 0.750722s)