Jefferson de Barros Santos

(Última atualização: 05/10/2017 - 12:22)

Informações de contato: 

Formação

Doutor em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio), com período sanduíche no Institut National de Recherche en Informatique et en Automatique (INRIA), na França. 

Experiência

Membro colaborador do Laboratório de Tecnologias em Métodos Formais (TecMF) da PUC-Rio. Tem como principal interesse de pesquisa a área de Lógica, especificamente em Teoria da Prova e no desenvolvimento de provadores automáticos e semi-automáticos para diferentes lógicas.  

Atualmente coordena o Núcleo de Computação da Escola Brasileira de Administração Pública e de Empresas da Fundação Getúlio Vargas (EBAPE/FGV), onde também é professor e leciona disciplinas de programação para os cursos de graduação em Administração e Economia.

Áreas de interesse

  • Teoria da Computação
    Lógica
    Teoria da Prova
    Raciocínio automático 

Programa: 

Graduação