Daniel Lima Ventura

Em 22/06/21 17:29 Atualizada em 23/07/21 18:24
Áreas de atuação: Lógicas e Semântica de Programas, Lambda calculus e Substituições Explícitas, Teoria de Tipos
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:

 

Horários do professor