Teaching
2023
- Introdução à Computação, graduação EMAp/FGV
- Recuperação de dados e Introdução ao Processamento de Linguagem
Natural, graduação EMAp/FGV
2021
- Análise de Algoritmos (Tópicos em Programação Funcional), Graduação EMAp, FGV
- Introdução ao Processamento de Linguagem Natural, Graduação EMAp, FGV
2020
- Introdução à Computação, graduação EMAp 2020.1, FGV
- Tópicos de Inteligência Artificial aplicada à Ciências Humanas, CPDOC 2020.1, FGV
- Matemática Discreta, graduação EMAp 2020.2, FGV
- Algorítmos e Estruturas de Dados, Mestrado EMAp 2020.2, FGV
2019
- Matemática Discreta, graduação EMAp, FGV
- Proofs and Algorithms (Type Theory), mestrado EMAp, FGV
2018
- Estruturas de dados e algorítmos, graduação EMAp, FGV.
2017
- Estruturas de dados e algorítmos, graduação EMAp, FGV.
- Estruturas de dados e algorítmos, mestrado EMAp, FGV.
- Computational Semantics, mestrado EMAp, FGV.
- Knowledge Representation and Reasoning, mestrado EMAp, FGV.
2016
2015
- Estruturas de dados e algorítmos, Graduação EMAp, FGV.
- Estruturas de dados e algorítmos, Mestrado EMAp, FGV.
- Linguagens de Programação, Graduação EMAp, FGV.
2014
2013
2012
- Introdução à Teoria das Categorias e Lógica, Mestrado EMAp, FGV.
- Linguagens de programação, Graduação Matemática da EMAp, FGV.
- Linguagens formais e autômatos, Graduação em Computação, PUC-Rio.
- Computação Aplicada, Graduação em Economia, FGV.
- Estruturas de dados e algorítmos, Mestrado EMAp, FGV.
2011
- Introdução à Computação II, Graduação em Economia, FGV.
- Lógica para Computação, Graduação em Computação, PUC-Rio.
- Estrutura de dados e algorítmos, Mestrado EMAp, FGV.
- Introdução à Computação I, Graduação em Economia, FGV.
- Introdução ao R, curso de versão da EMAp, FGV.
- Lógica para Computação, Graduação em Computação, PUC-Rio.
- Linguagens formais e autômatos, Graduação em Computação, PUC-Rio.
2010
- Introdução à Computação II, Graduação em Economia, FGV.
- Lógica para Computação, Graduação em Computação, PUC-Rio.
- Lógica para Computação, Graduação em Computação, PUC-Rio.
2009
- Lógica para Computação, Graduação em Computação, PUC-Rio.
2008
- Tecnologia da Informação, Graduação em Administração, FGV.
- Linguagens formais e autômatos, Graduação em Computação, PUC-Rio.
2007
- Introdução à Computação, Graduação em Economia, FGV.