Philipp G. Haselwarter

Assistant Professor, Department of Computer Science, Aarhus University
Programming Languages, Logic, and Software Security · Turing–228 · philipp@haselwarter.org

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.


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