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
01/03/2013
Cargo
Professor do Magistério Superior
Classe / Nível
7 / 703
Titulação
Doutorado
Função / Unidade
COORDENADOR DE CURSO DE PóS-GRADUAÇÃO SUBSTITUTO / Programa de Pós-Graduação em Computação
Gratificação / Data inicial
-00 /
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

Disciplinas ministradas nos três últimos semestres

Ano Turma Disciplina CH * Curso
2023/2T1SEMÂNTICA FORMAL
Horários
ManhãTardeNoite
QUA15:10 - 16:00
16:00 - 16:50
QUI15:10 - 16:00
16:00 - 16:50
72+0Ciência da Computação (Bacharelado)
2023/2M1PROJETO DE COMPILADORES
Horários
ManhãTardeNoite
SEG10:00 - 10:50
10:50 - 11:40
QUI10:00 - 10:50
10:50 - 11:40
54+18Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2023/2T1TÓPICOS ESPECIAIS EM COMPUTAÇÃO V
Horários
ManhãTardeNoite
SEG17:10 - 18:00
18:00 - 18:50
36+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2023/1T2LÓGICA PARA COMPUTAÇÃO
Horários
ManhãTardeNoite
SEG15:10 - 16:00
16:00 - 16:50
QUA13:30 - 14:20
14:20 - 15:10
72+0Engenharia de Computação (Bacharelado)
2023/1M1PROJETO DE COMPILADORES
Horários
ManhãTardeNoite
SEG13:30 - 14:20
14:20 - 15:10
QUI13:30 - 14:20
14:20 - 15:10
54+18Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2023/1T1SEMÂNTICA FORMAL
Horários
ManhãTardeNoite
QUA15:10 - 16:00
16:00 - 16:50
QUI15:10 - 16:00
16:00 - 16:50
72+0Ciência da Computação (Bacharelado)
2022/2T3LÓGICA PARA COMPUTAÇÃO
Horários
ManhãTardeNoite
SEG15:10 - 16:00
16:00 - 16:50
QUA13:30 - 14:20
14:20 - 15:10
72+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2022/2T1SEMÂNTICA FORMAL
Horários
ManhãTardeNoite
QUA15:10 - 16:00
16:00 - 16:50
QUI15:10 - 16:00
16:00 - 16:50
72+0Ciência da Computação (Bacharelado)
2022/2M1PROJETO DE COMPILADORES
Horários
ManhãTardeNoite
SEG13:30 - 14:20
14:20 - 15:10
QUI13:30 - 14:20
14:20 - 15:10
36+36Ciê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 02/10/2023 01:04:33 (consulta levou 1.416665s)