Lectures

Compiladores 2015.1 - 2015.2; 2016.2
Linguagens de Programação 2015.1 - 2022.1
Linguagens Formais e Teoria da Computação 2016.1; 2018.2 - 2019.2
Lógica e Especificação 2017.1 - 2018.1; 2021.1
Programação de Computadores I 2020.1 - 2020.2; 2022.1
Seminários 2018.1 - 2018.2
Teoria da Computação 2021.2