Teaching
2026
EMAp/FGV
-
Introdução à Computação — 2007, 2020, 2023
-
Recuperação de Dados e Introdução ao PLN — 2023
-
Análise de Algoritmos / Tópicos em Programação Funcional — 2021
-
Introdução ao Processamento de Linguagem Natural — 2021
-
Matemática Discreta — 2019, 2020
-
Algorítmos e Estruturas de Dados — 2013, 2014, 2015, 2016, 2017, 2018, 2020, 2021
-
Proofs and Algorithms (Type Theory) — 2019
-
Computational Semantics — 2017
-
Knowledge Representation and Reasoning — 2017
-
Linguagens de Programação — 2012, 2014, 2015, 2016
-
Introdução à Teoria das Categorias e Lógica — 2012
-
Computação Aplicada — 2012
-
Introdução ao R — 2011
-
Introdução à Computação I e II — 2011
CPDOC/FGV
-
Tópicos de IA aplicada às Ciências Humanas — 2020
PUC-Rio
-
Lógica para Computação — 2009, 2010, 2011
-
Linguagens Formais e Autômatos — 2008, 2011, 2012