Lehrveranstaltungen
Wintersemester 2024/25
Sommersemester 2024
Proseminar Lösungsansätze für das Expression Problem
Prof. Dr. Jakob Rehof
Aktuelle Themen im logikbasierten Software Engineering
Dr. Andrej Dudenhefner
Modellierung Nebenläufiger Prozesse (ehemals Elektronische Geschäftsprozesse)
Prof. Dr. Jakob Rehof
Funktionale Programmierung
Prof. Dr. Jakob Rehof
Wintersemester 2023/24
Proseminar - Perlen der funktionalen Programmierung
Dr. Andrej Dudenhefner
Seminar - Principles of Programming Languages
Prof. Dr. Jakob Rehof
Logische Methoden des Software Engineering 1
Prof. Dr. Jakob Rehof
Einführung in die Informatik
Dr. Lars Hildebrand
Logische Methoden des Software Engineering 2
Prof. Dr. Jakob Rehof