Daniel Lima Ventura
Em 22/06/21 17:29
Atualizada em 01/11/22 19:16
Áreas de atuação: Lógicas e Semântica de Programas, Lambda calculus e Substituições Explícitas, Teoria de Tipos
E-mail: 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:
