JO
Início
Ensino
Pesquisa
Publicações
Contato
Português
Toggle theme
Início
Ensino
Pesquisa
Publicações
Contato
Ensino
Ensino
Cursos e atividades educacionais nas quais estou envolvido.
Todos os Anos
▼
Todos os Cursos
41
Bacharelado
30
Mestrado
11
Todos os Cursos
41
Bacharelado
30
Mestrado
11
Segurança de Software (ING3-1)
2025-2026
Bachelor
Segurança em Nuvem (ING3-2)
2025-2026
Bachelor
Análise de Algoritmos (ECUE-143)
2025-2026
Bachelor
Programação em Python (ECUE-142)
2025-2026
Bachelor
Verificação de Modelos (INFOM471)
2025-2026
Master
Fundamentos da Verificação de Sistemas Distribuídos (CSC_4SL04_TP)
2024-2025
Master
Verificação de Modelos (INFOM471)
2024-2025
Master
Programação 2 (IHDCB132)
2023-2024
Bachelor
Verificação de Modelos (INFOM471)
2023-2024
Master
Algoritmos 2 (IHDCB331)
2023-2024
Bachelor
Programação 2 (IHDCB132)
2022-2023
Bachelor
Teoria de Linguagens: Sintaxe e Semântica (IHDCB332/INFOB314)
2022-2023
Bachelor
Verificação de Modelos (INFOM471)
2022-2023
Master
Programação 2 (IHDCB132)
2021-2022
Bachelor
Teoria de Linguagens: Sintaxe e Semântica (IHDCB332/INFOB314)
2021-2022
Bachelor
Verificação de Modelos (INFOM471)
2021-2022
Master
Programação 2 (IHDCB132)
2020-2021
Bachelor
Teoria de Linguagens: Sintaxe e Semântica (IHDCB332/INFOB314)
2020-2021
Bachelor
Algoritmos 2 (IHDCB331)
2020-2021
Bachelor
Verificação de Modelos (INFOM471)
2020-2021
Master
Programação 2 (IHDCB132)
2019-2020
Bachelor
Teoria de Linguagens: Sintaxe e Semântica (IHDCB332/INFOB314)
2019-2020
Bachelor
Algoritmos 2 (IHDCB331)
2019-2020
Bachelor
Verificação de Modelos (INFOM471)
2019-2020
Master
Programação 2 (IHDCB132)
2018-2019
Bachelor
Pesquisa Operacional (INFOB224)
2018-2019
Bachelor
Teoria de Linguagens: Sintaxe e Semântica (IHDCB332/INFOB314)
2018-2019
Bachelor
Algoritmos 2 (IHDCB331)
2018-2019
Bachelor
Verificação de Modelos (INFOM471)
2018-2019
Master
Programação 2 (IHDCB132)
2017-2018
Bachelor
Pesquisa Operacional (INFOB224)
2017-2018
Bachelor
Teoria de Linguagens: Sintaxe e Semântica (IHDCB332/INFOB314)
2017-2018
Bachelor
Algoritmos 2 (IHDCB331)
2017-2018
Bachelor
Verificação de Modelos (INFOM471)
2017-2018
Master
Programação 2 (IHDCB132)
2016-2017
Bachelor
Pesquisa Operacional (INFOB224)
2016-2017
Bachelor
Verificação de Modelos (INFOM471)
2016-2017
Master
Programação 2 (IHDCB132)
2015-2016
Bachelor
Pesquisa Operacional (INFOB224)
2015-2016
Bachelor
Pesquisa Operacional (INFOB224)
2014-2015
Bachelor
Algoritmos e Linguagens de Programação
2008-2010
Bachelor