Teaching University of Oslo, Norway IN5170: Models of Concurrency (2024 - ) Master course Graz University of Technology, Austria INP.33028UF: Sofwareparadigms (2021 - 2022) Bachelor course (6th semester) Study Assistant (2015 - 2018) 716.114: Classical Themes of Computer Science INB.01234UF: Foundation of Computer Science 716.051: Logic and Logic Programming 716.066: Quality Assurance in Software Development INP.32164UF: Software Maintenance INP.33028UF: Softwareparadigms