
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.
Disciplinas ministradas nos três últimos semestres
Ano | Turma | Disciplina | CH * | Curso | ||||||
---|---|---|---|---|---|---|---|---|---|---|
2023/2 | T1 | SEMÂNTICA FORMAL Horários
| 72+0 | Ciência da Computação (Bacharelado) | ||||||
2023/2 | M1 | PROJETO DE COMPILADORES Horários
| 54+18 | Ciência da Computação (Bacharelado) Engenharia de Computação (Bacharelado) | ||||||
2023/2 | T1 | TÓPICOS ESPECIAIS EM COMPUTAÇÃO V Horários
| 36+0 | Ciência da Computação (Bacharelado) Engenharia de Computação (Bacharelado) | ||||||
2023/1 | T2 | LÓGICA PARA COMPUTAÇÃO Horários
| 72+0 | Engenharia de Computação (Bacharelado) | ||||||
2023/1 | M1 | PROJETO DE COMPILADORES Horários
| 54+18 | Ciência da Computação (Bacharelado) Engenharia de Computação (Bacharelado) | ||||||
2023/1 | T1 | SEMÂNTICA FORMAL Horários
| 72+0 | Ciência da Computação (Bacharelado) | ||||||
2022/2 | T3 | LÓGICA PARA COMPUTAÇÃO Horários
| 72+0 | Ciência da Computação (Bacharelado) Engenharia de Computação (Bacharelado) | ||||||
2022/2 | T1 | SEMÂNTICA FORMAL Horários
| 72+0 | Ciência da Computação (Bacharelado) | ||||||
2022/2 | M1 | PROJETO DE COMPILADORES Horários
| 36+36 | Ciê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.