Vår 2026, Machine Learning INFO284 V26

Høst 2025, Blockchain technology and formal methods INFO384 H25 

Høst 2025, Blockchain technology INFO384B H25

Vår 2025, Machine Learning INFO284 V25

Høst 2024, Blockchain technology and formal methods INFO384 H24 

Høst 2024, Blockchain technology INFO384B H24

Høst 2023, Blockchain technology and formal methods INFO384 H23

Høst 2023, Innføring i kunstig intelligens AIKI100 H23

Vår 2023, Kunstige agentar AIKI110 V23

Høst 2022, Blockchain technology and formal methods INFO384 H22

Høst 2021, Knowledge Representation and Reasoning INFO282 H21

Komplett liste over publikasjoner er på min nettside.