Previous terms
Wintersemester 2022/2023
Software Verification
Lecture / LabClass
Functional Programming
Lecture / LabClass
Intelligent Autonomous Agents and Cognitive Robotics
Lecture / LabClass
Grundlagen des maschinellen Lernens
Lecture / LabClass
Sommersemester 2022
Software Engineering
Lecture / LabClass
Software Development
Lecture / LabClass
Software Testing
Lecture / LabClass
Machine Learning and Data Mining
Lecture / LabClass
Compilerbau
Lecture / LabClass
Wintersemester 2021/2022
Software Verification
Functional Programming
Intelligent Autonomous Agents and Cognitive Robotics
Grundlagen des maschinellen Lernens
Sommersemester 2021
Software Engineering
Software Development
Software Testing
Machine Learning and Data Mining
Compilerbau
Wintersemester 2020/2021
Functional Programming
Software Verification
Intelligent Autonomous Agents and Cognitive Robotics
Grundlagen des maschinellen Lernens
Sommersemester 2020
Software Engineering
Problem-based Learning:
Software Development
Problem-based Learning:
Software Testing
Machine Learning and Data Mining
Compilerbau
Wintersemester 2019/2020
Functional Programming
Software Verification
Intelligent Autonomous Agents and Cognitive Robotics
Grundlagen des maschinellen Lernens
Sommersemester 2019
Software Engineering
Software Development
Software Testing
Machine Learning and Data Mining
Compilerbau
Wintersemester 2018/2019
Intelligent Autonomous Agents and Cognitive Robotics
Grundlagen des Maschinellen Lernens
(Digitalisierung in Verkehr und Logistik)
Functional Programming
Sommersemester 2018
Software Engineering
Software Development
Software Testing
Machine Learning and Data Mining
Compilerbau
Wintersemester 2017/2018
Functional Programming
Software Verification
Intelligent Autonomous Agents and Cognitive Robotics
Software Analysis
Sommersemester 2017
Software Engineering
Software Development
Software Testing
Machine Learning and Data Mining
Large Software Systems
Compilerbau
Wintersemester 2016/2017
Functional Programming
Software Verification
Intelligent Autonomous Agents and Cognitive Robotics
Software Laboratory
Sommersemester 2016
Software Engineering
Software Development
Software Testing
Machine Learning and Data Mining
Software Analysis
Compilerbau
Wintersemester 2015/2016
Functional Programming
Intelligent Autonomous Agents and Cognitive Robotics
Software Verification
Einführung in Datenbanksysteme /
Conceptual Modeling, Databases, and Data Management
Design and Implementation of Software Systems
Projektpraktikum
Software Laboratory
Sommersemester 2015
Software Engineering
Machine Learning and Data Mining
Software Analysis
Compilerbau
Wintersemester 2014/2015
Functional Programming
Intelligent Autonomous Agents and Cognitive Robotics
Software Verification
Software Engineering
Project Laboratory
Software Laboratory
Hauptseminar Informatik
Sommersemester 2014
Algorithmische Logik
Architecture and Implementation of Database Systems
Foundations of Machine Learning and Data Mining
ProseminarSeminar (Software Engineering)
Software Analysis
Software Engineering
Wintersemester 2013/2014
Automaten und Formale Sprachen
Einführung in Datenbanksysteme
Functional Programming
Intelligent Autonomous Agents
Project Laboratory (ehem. RIKA)
Praktikum Verified Software Systems