Previous terms

 

Wintersemester 2021/2022

 
Software Verification
Lecture / LabClass

Functional Programming
Lecture / LabClass

Intelligent Autonomous Agents and Cognitive Robotics
Lecture / LabClass

Grundlagen des maschinellen Lernens
Lecture / LabClass

 

Sommersemester 2021

 
Software Engineering
Lecture / LabClass

Software Development
Lecture / LabClass

Software Testing
Lecture / LabClass

Machine Learning and Data Mining
Lecture / LabClass

Compilerbau
Lecture / LabClass

 

 

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