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 associado da Universidade Federal de Pelotas. Trabalha principalmente com o desenvolvimento de abstrações que facilitem a programação paralela em diferentes arquiteturas.
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 PROJETO | 09/11/2019 | 09/11/2022 | 15 | |
| Estratégias para escalonamento de tarefas em arquiteturas multithread | 13/02/2015 | 12/02/2018 | 2 | |
| Proposta Metodológica para a Introdução do Raciocínio Computacional no Ensino Fundamental | 02/03/2015 | 03/03/2017 | 2 | |
| Memória Transacional Adaptativa para Arquiteturas HeterogêneasCOORDENADOR DO PROJETO | 10/11/2022 | 10/11/2025 | 15 | |
| Extensão | ||||
| Título do Projeto | Início | Fim | CH | |
| SACCI Pelotas: Rede de Saberes Articulando Ciências, Criatividade e Imaginação | 01/04/2021 | 31/03/2029 | 1 | |
| ExpPC Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental | 02/01/2017 | 30/12/2028 | 22 | |
Disciplinas ministradas nos três últimos semestres
* CH - na Graduação e Pós-Graduação indica a carga horária no período.