Áreas de atuação:
Lógicas e Semântica de Programas, Lambda calculus e Substituições Explícitas, Teoria de Tipos
Email:
daniel
@inf.ufg.br
Regime de Trabalho: Dedicação Exclusiva
Titulação
Doutor em Matemática Aplicada - Teoria da Computação
Local: Universidade de Brasília, UNB, Brasil, com período sanduiche em Heriot-Watt University
Ano: 2010
Contato
Sala: 106
Site Pessoal: http://www.inf.ufg.br/~daniel/
Currículo:
