2026-2027 Artificial Intelligence Instituto Superior Técnico, ULisboa 2025-2026 Artificial Intelligence Instituto Superior Técnico, ULisboa 2024-2025 Artificial Intelligence Instituto Superior Técnico, ULisboa 2023-2024 Logic for Programming Instituto Superior Técnico, ULisboa