Equipe

Jefferson Santos

Professor Adjunto

É professor adjunto da Escola Brasileira de Administração Pública e de Empresas da Fundação Getulio Vargas (FGV EBAPE), onde leciona disciplinas relacionadas com Computação e Tecnologias Digitais nos cursos de graduação e mestrado. Na FGV EBAPE, também coordena o Núcleo de Computação, onde conduz projetos de desenvolvimento de sistemas de software para a Escola. 

É membro colaborador do Laboratório de Tecnologias em Métodos Formais (TecMF) da PUC-Rio, onde realiza pesquisas na área de Teoria da Computação e Lógica, especificamente no estudo de provadores de teoremas, raciocínio automatizado e inteligência artificial. Na PUC-Rio, foi também professor de disciplinas na área de Teoria da Computação nos cursos de graduação em Engenharia e Ciência da Computação. 

Formação

  • Doutorado em Informática – Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio, concluído em 2017), com período sanduíche de quatro meses no Institut National de Recherche en Informatique et en Automatique (INRIA), na França, em 2016. 
  • Mestrado em Informática – PUC-Rio, Brasil (concluído em 2010); 
  • Graduação em Informática – PUC-Rio, Brasil (concluído em 2006); 

Áreas de interesse

  • Raciocínio Automatizado (Lógica, Provadores e Métodos Formais) 
  • Software Design (Modelos, Orientação a Objetos e Patterns) 
  • Interseções entre Engenharia de Software, Ciência de Dados e IA 
  • Impacto das Tecnologias Emergentes 

Programas: 

  • Graduação
  • Mestrado em Gestão Empresarial (MEX)
  • Mestrado Profissional em Administração Pública (MAP)
  • Mestrado em Gestão Empresarial (MEX-Intensivo)

Corpo docente

FILTRAR
A A A
High contrast