
Resumo
Possui doutorado em Microeletrônica pela Universidade Federal do Rio Grande do Sul (2008) com período sanduíche na Universidade de Minnesota - EUA (2005-2006), mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2004) e graduação em Ciência da Computação pela Universidade Federal de Pelotas (2001). Atualmente é professor associado na Universidade Federal de Pelotas e pesquisador/orientador permanente no Programa de Pós-graduação em Computação da mesma universidade. Tutor do Grupo PET Computação/UFPel. Líder do Grupo de Pesquisa em Arquiteturas e Circuitos Integrados (GACI) cadastrado no Diretório de Grupos de Pesquisa do CNPq. Membro da Sociedade Brasileira de Microeletrônica (SBMicro), da Sociedade Brasileira de Computação (SBC), da Association for Computing Machinery (ACM) e da IEEE Computer Society. Tem experiência nas áreas de computação e microeletrônica, atuando principalmente nos seguintes temas: algoritmos de síntese lógica para circuitos integrados; desenvolvimento de ferramentas de EDA para concepção de circuitos integrados; sistemas computacionais embarcados; tecnologias de hardware e software voltadas à educação.
Formação acadêmica
Doutorado em Microeletrônica (Universidade Federal do Rio Grande do Sul, 2008)
Mestrado em Computação (Universidade Federal do Rio Grande do Sul, 2004)
Graduação em Ciência da Computação (Universidade Federal de Pelotas, 2001)
Áreas de atuação
Sistemas de Computação - Microeletrônica
Ciência da Computação - Eletrônica Digital
Ciência da Computação - Sistemas Digitais
Ciência da Computação - Sistemas Embarcados
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 | ||||||
---|---|---|---|---|---|---|---|---|---|---|
2024/2 | 1 | CONCEPÇÃO E TESTE DE CIRCUITOS INTEGRADOS Horários
| 68+0 | Computação (Mestrado acadêmico) Computação (Doutorado) | ||||||
2024/2 | M1 | CIRCUITOS DIGITAIS I Horários
| 0+36 | Engenharia de Computação (Bacharelado) | ||||||
2024/2 | M2 | CIRCUITOS DIGITAIS I Horários
| 0+36 | Engenharia de Computação (Bacharelado) | ||||||
2024/2 | M1 | TÉCNICAS DIGITAIS Horários
| 36+36 | Ciência da Computação (Bacharelado) | ||||||
2024/2 | M2 | TÉCNICAS DIGITAIS Horários
| 0+36 | Ciência da Computação (Bacharelado) | ||||||
2024/2 | M3 | TÉCNICAS DIGITAIS Horários
| 0+36 | Ciência da Computação (Bacharelado) | ||||||
2024/1 | 1 | CONCEPÇÃO E TESTE DE CIRCUITOS INTEGRADOS Horários
| 68+0 | Computação (Mestrado acadêmico) Computação (Doutorado) | ||||||
2024/1 | M1 | TÉCNICAS DIGITAIS Horários
| 36+36 | Ciência da Computação (Bacharelado) | ||||||
2024/1 | M2 | TÉCNICAS DIGITAIS Horários
| 0+36 | Ciência da Computação (Bacharelado) | ||||||
2024/1 | T1 | CONCEPÇÃO DE CIRCUITOS INTEGRADOS Horários
| 72+0 | Ciência da Computação (Bacharelado) Engenharia de Computação (Bacharelado) | ||||||
2023/2 | 1 | CONCEPÇÃO E TESTE DE CIRCUITOS INTEGRADOS Horários
| 68+0 | Computação (Mestrado acadêmico) Computação (Doutorado) | ||||||
2023/2 | M1 | TÉCNICAS DIGITAIS Horários
| 36+36 | Ciência da Computação (Bacharelado) | ||||||
2023/2 | M2 | TÉCNICAS DIGITAIS Horários
| 0+36 | Ciência da Computação (Bacharelado) | ||||||
2023/2 | M3 | TÉCNICAS DIGITAIS Horários
| 0+36 | Ciência da Computação (Bacharelado) |
* CH - na Graduação e Pós-Graduação indica a carga horária no período.