Teaching
I teach mostly topics related to theoretical computer science, mathematical logic and discrete structures.
- Introduction to Graphs.
- Foundations of Mathematics
- Mathematical and Computational Logic
- Classical Logic and Extensions
- Mathematical Formalisms for Computation
- Advanced Topics in Rewriting
- Topics in Computing: Equational Reasoning and Unification
Current Courses
1/2021: Introduction to Graphs (Introdução a Teoria de Grafos - MAT0080))
- Undergraduate Course
- 4h/pw (60h per semester)
- Graphs: basics, isomorphism, connectivity, transversability; Trees; Digraphs; Planarity; Coloring; Flows in Networks.
1/2021: Advanced Topics in Rewriting (Tópicos de Matemática - 303119)
- Graduate Course
- 4h/pw (60h per semester)
- Simply typed lambda calculus; Higher-Order Rewriting; Combinatory Reduction Systems; Nominal Rewriting.
Graduate Seminar in Computing
- Fridays, 10:00 am (UTC-3)
- Talks given by members of the group and invited speakers.
- The program will be available soon in the GTC seminar's page
Past Courses
- 2/2020 Introdução a Teoria de Grafos (Introduction to Graphs)
- 2/2020 - Formalismos Matemáticos para Computação (Mathematical Formalisms for Computer Science )
- 1/2020 - Lógica Matemática e Computacional (Mathematical and Computational Logic)
- 1/2020 - Tópicos de Computação: Raciocínio Equacional e Unificação (Topics in Computing: Equational Reasoning and Unification)
- 2/2019 - Introdução a Teoria de Grafos
- 2/2019 - Lógica Clássica e Extensões (Classical Logic and Extensions)
