Courses
-
Spring 2023. Theory of Computation (L.EIC010).
Teaching Assistant. Faculdade de Engenharia da Universidade do Porto.
-
Spring 2022. Theory of Computation (L.EIC010).
Teaching Assistant. Faculdade de Engenharia da Universidade do Porto.
-
Fall 2021. Theory of Computation (L.EIC010).
Teaching Assistant. Faculdade de Engenharia da Universidade do Porto.
-
Spring 2021. Functional Programming (CC1005).
Teaching Assistant. Faculdade de Ciências da Universidade do Porto.
-
Fall 2020. Theory of Computation (EIC0022).
Teaching Assistant. Faculdade de Engenharia da Universidade do Porto.
-
Fall 2019. Formal Methods in Software Engineering (EIC0039).
Teaching Assistant. Faculdade de Engenharia da Universidade do Porto.