Resumo
Possui graduação em Engenharia Elétrica pela Universidade Federal do Rio Grande do Sul (1985), mestrado em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (1991) e doutorado em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (2005). Atualmente é professor adjunto da Universidade Federal de Pelotas. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação, atuando, em pesquisa, principalmente nos seguintes temas: complexidade de Kolmogorov e teoria da informação.
Formação acadêmica
Doutorado em Computação (Universidade Federal do Rio Grande do Sul, 2005)
Mestrado em Computação (Universidade Federal do Rio Grande do Sul, 1991)
Graduação em Engenharia Elétrica (Universidade Federal do Rio Grande do Sul, 1985)
Áreas de atuação
Ciência da Computação - Teoria da Computação
Teoria da Computação - Análise de Algoritmos e Complexidade de Computação
Teoria da Computação - Linguagem Formais e Autômatos
Teoria da Computação - Lógicas e Semântica de Programas
Teoria da Computação - Complexidade de Kolmogorov
Matemática - Matemática
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
* CH indica a carga horária no período.