Jefferson de Barros Santos

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 

Programas: 

Graduação
Mestrado em Gestão Empresarial (MEX)
Mestrado em Gestão Empresarial (MEX-Intensivo)

Nosso website coleta informações do seu dispositivo e da sua navegação por meio de cookies para permitir funcionalidades como: melhorar o funcionamento técnico das páginas, mensurar a audiência do website e oferecer produtos e serviços relevantes por meio de anúncios personalizados. Para saber mais sobre as informações e cookies que coletamos, acesse a nossa Política de Cookies e a nossa Política de Privacidade.