Teaching
Fall 2024
Program Logics
Please consult the Aarhus University Brightspace course page for assignments and course materials.
The slides for my lectures are also hosted here: Lecture 21: Randomized Programs, Lecture 22: Asynchronous Reasoning.
Fall 2023
Program Logics
Please consult the Aarhus University Brightspace course page for assignments and course materials.
The slides for my lectures are also hosted here: Lecture 21: Randomized Programs, Lecture 22: Asynchronous Reasoning.
Fall 2019
Računalniški praktikum, advanced group (computer literacy)
Lecturer: Andrej Bauer
My tutorial group meets on Tuesdays, from noon until 3 pm.
- tools
- learning
- getting started with HTML by Mozilla
- intro to web apps by Google
- in-depth HTML tutorials by w3schools.com
- references
- syntax of (modern) html
- style guide
- css reference
- html reference
Fall 2018
Programiranje 1
Lecturer: Matija Pretnar
Course material on Github
Spring 2018
Teorija programskih jezikov (Programming Language Theory)
Lecturer: Alex K. Simpson
Fall 2017
Programiranje 1
Lecturer: Matija Pretnar
Course material on Github
Fall 2016
Programiranje 1
Lecturer: Matija Pretnar
Course material on Github