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 / 702
Titulação
Doutorado
Função / Unidade
COORDENADOR DE CURSO DE GRADUAÇÃO SUBSTITUTO / Colegiado do Curso de Engenharia da 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
2021/2T2LÓGICA PARA COMPUTAÇÃO
Horários
ManhãTardeNoite
QUA13:30 - 14:20
14:20 - 15:10
72+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2021/2T1SEMÂNTICA FORMAL
Horários
ManhãTardeNoite
QUI13:30 - 14:20
14:20 - 15:10
72+0Ciência da Computação (Bacharelado)
2021/2M1PROJETO DE COMPILADORES
Horários
ManhãTardeNoite
QUI15:10 - 16:00
16:00 - 16:50
54+18Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2021/1T2LÓGICA PARA COMPUTAÇÃO
Horários
ManhãTardeNoite
QUI13:30 - 14:20
14:20 - 15:10
14:20 - 15:10
72+0Ciência da Computação (Bacharelado)
2021/1M1PROJETO DE COMPILADORES
Horários
ManhãTardeNoite
SEG15:10 - 16:00
16:00 - 16:50
54+18Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2021/1T1SEMÂNTICA FORMAL
Horários
ManhãTardeNoite
QUA15:10 - 16:00
16:00 - 16:50
72+0Ciência da Computação (Bacharelado)
2020/2T1LÓGICA PARA COMPUTAÇÃO
Horários
ManhãTardeNoite
TER08:00 - 08:50
08:50 - 09:40
72+0Ciência da Computação (Bacharelado)
2020/2T2LÓGICA PARA COMPUTAÇÃO
Horários
ManhãTardeNoite
QUI10:00 - 10:50
10:50 - 11:40
72+0Engenharia de Computação (Bacharelado)
2020/2T1SEMÂNTICA FORMAL
Horários
ManhãTardeNoite
QUA15:10 - 16:00
16:00 - 16:50
72+0Ciência da Computação (Bacharelado)
2020/2T1TÓPICOS ESPECIAIS EM COMPUTAÇÃO IX
Horários
ManhãTardeNoite
TER17:10 - 18:00
18:00 - 18:50
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 24/05/2022 14:48:26 (consulta levou 0.650656s)