Check out my website for an up-to-date list of publications.

Spring 2026, Machine Learning INFO284 V26

Autumn 2025, Blockchain technology and formal methods INFO384 H25

Autumn 2025, Blockchain technology INFO384B H25

Spring 2025, Machine Learning INFO284 V25

Autumn 2024, Blockchain technology and formal methods INFO384 H24

Autumn 2024, Blockchain technology INFO384B H24

Autumn 2023, Blockchain technology and formal methods INFO384 H23

Autumn 2023, Introduction to Artificial Intelligence AIKI100 H23H

Spring 2023, Artificial Agents AIKI110 V23V

Autumn 2022, Blockchain technology and formal methods INFO384 H22

Autumn 2021, Knowledge Representation and Reasoning INFO282 H21