Daniel Lima Ventura

Á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
Telefone: (62) 3521-1181
FAX: (62) 3521-1182
 
 
Currículo: