daniel lima ventura

INF - INSTITUTO DE INFORMÁTICA

Perfil Pessoal

Descrição pessoal

não informada

Formação acadêmica/profissional (Onde obteve os títulos, atuação profissional, etc.)

não informada

Áreas de Interesse (áreas de interesse de ensino e pesquisa)

Lógica e Semântica da Computação; Teoria de Tipos; Teoria da Prova; Lambda Calculus; Métodos Formais em Computação

Currículo Lattes:

http://lattes.cnpq.br/4443822193261575

Formação Acadêmica

Formação acadêmica não cadastrada

Contatos

Endereço profissional

Instituto de Informática (INF) - UFG
Alameda Palmeiras, Quadra D, Câmpus Samambaia
CEP 74690-900 - Goiânia - GO

Sala

106

Telefone/Ramal

1724

Endereço eletrônico

ventura@ufg.br