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