vaston goncalves da costa

IMT - UNID. ACAD. ESP/MATEMATICA E TECNOLOGI

Perfil Pessoal

Descrição pessoal

Possui graduação em Matemática pela Universidade Federal de Uberlândia (1995), mestrado em Matemática pela Universidade de Brasília (1998), doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (2007), pós-doutorados em Teoria da Prova pela Pontifícia Universidade Católica do Rio de Janeiro e em Provadores automático de teoremas pelo INRIA-Paris. Atualmente é professor Associado da Universidade Federal de Goiás - Regional Catalão. Tem experiência na área de Matemática, com ênfase em teoria da computação, atuando principalmente nos seguintes temas: lógica, teoria da prova, complexidade de provas, grafos.

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

UFU - Graduação em Matemática
UnB - Mestrado em Matemática
PUC-Rio - Doutorado em Informatica

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

Teoria da Computação
Lógica
Teoria da Prova
Grafos
Modelagem e Otimização

Currículo Lattes:

http://lattes.cnpq.br/5192533875584788

Formação Acadêmica

Formação acadêmica não cadastrada