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