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);

Experiência

É 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, que conduz projetos de desenvolvimento de software e sistemas 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 automático 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.

Atualmente, trabalha na criação do Grupo de Estudo em Computação, Dados e Tecnologias Digitais, focado no estudo dos artefatos de software como objetos de investigação científica.

Áreas de interesse

• Aspectos computacionais: programação, linguagens, algoritmos e desenvolvimento de software;
• Obtenção, tratamento e análise de dados; Data Analytics; Sofware Analytics;
• Impactos das tecnologias digitais na sociedade, organizações e governos.