Professor

Possui graduação em Ciência da Computação pela Pontifícia Universidade Católica do Paraná (1993), mestrado em Engenharia Elétrica e Informática Industrial pela Universidade Tecnológica Federal do Paraná (1997) e doutorado em Ciências da Computação pela Universidade Federal de Minas Gerais (2004). (Research Gate, ORCID, DBLP, ACM DL).

Áreas de Interesse: Projeto, implementação e uso de linguagens de programação. Em particular, linguagens funcionais, sistemas de tipos e verificação formal.

GitHub  (Materiais usados nas aulas).

Youtube (Videoaulas).

Orientações Concluídas (Mestrado):

Leonardo Filipe Rigon. Inferência de Tipos e Efeitos por meio de Grafos de Fluxo de Controle. 2019

Rafael Castro Gonçalves Silva. Uma Certificação em Coq do Algoritmo W Monádico. 2019

Paulo Henrique Torrens. Um Cálculo de Continuações com Tipos Dependentes. 2018.

Adelaine Franciele Gelain. Inferência de Tipos na Presença de GADT usando Anti-unificação. 2016.

Leandro Israel Pinto. Desenvolvimento da Infraestrutura de Software Aderente à IEC 61499. 2014.

Grupo de Pesquisa:

Grupo de Pesquisa em Fundamentos da Computação (FUNÇÂO).

Árvore Genealógica Acadêmica

Plataforma Acácia.

Mathematics Genealogy Project