In the following you will find an overview and brief description of those lectures given by our chair that are held (or might be held) in English. Further information about the lectures can be found in the corresponding handbook of modules (Handbook of Modules: Master). Please note that the handbooks are mostly in German.

Parallel and distributed event-oriented simulation

MSc Informatik, english

Parallel and distributed simulation methods are of particular interest when simulating complex and large systems, e.g., to evaluate routing protocols in networks with millions of nodes, to monitor air traffic online, or to predict the spread of epidemics. This module provides knowledge of parallel, distributed algorithms for executing discrete event models efficiently.

Extract from the content:

  • Null message algorithm
  • Deadlock detection and recovery
  • Time warp algorithm
  • Global virtual time and transient messages
  • Incremental state saving
  • Reverse computation
  • Exploiting GPUs

Further information: 3L + 1E, 6 LP, SS

Foundation of Software Agents and Reinforcement Learning

BSc Informatik, on demand English

The lecture focuses on the question, how software agents can act effectively and goal-oriented in dynamic environments. Therefore, in addition to artificial intelligence methods for representation (such as modal logic), for planning (such as partial order planning), and machine learning (1/3 of the lecture will be dedicated to reinforment learning), concepts of related areas such as linguistic research (such as speech act theory) and game theory (such as Nash Equilibrium and Pareto Optimum) and their role in designing autonomous software agents will be discussed. Possibilities and challenges of balancing interactive, trial and error methods and model-based approaches will be explored.

Extract from the content:

  • Beliefs Desires Intentions: architecture of deliberative agents
  • He knows that he knows not: the role of modal logics
  • Prisoners Dilemma and game theory
  • Markov decision processes: the basis of reinforment learning
  • Absolute Greedy:  policies in reinforment learning
  • Communication: from speech acts to ACL
  • Cooperation between consent and deception

Further information: 3L + 1E, 6 LP, WS

Data-Driven Modelling and Simulation

MSc Informatik, English

Data play a central role in modeling and simulation.
To calibrate and validate a simulation model, a multitude of different simulation experiments can be executed which rely on diverse data.
At the same time, these simulation experiments may reveal important information about the data.
The lecture gives an overview about experiment design methods, data analysis methods, and about different types of simulation experiments, including sensitivity analysis, statistical model checking, optimization, parameter estimation and uncertainty quantification.
The lecture includes a student project in which a simulation model shall be re-developed from literature.
The developed simulation model as well as the data shall be extensively probed by analysis and extensive simulation experiments.

Extract from the content:

  • One starting point: the simulation model - and its semantics
  • The other starting point: the data
  • Work smarter not harder: experiment design methods
  • SESSL: a domain-specific language for specifying and executing simulation experiments in Scala
  • Optimization: more than hill climbing
  • Making hypotheses explicit: the virtue of statistical model checking
  • Bayes: statistical parameter estimation and uncertainty quantification
  • Workflows of modeling and simulation: from single experiments to entire simulation studies

Further information: 2L + 2E, 6 LP, WS

Informatik (M.Sc.) - Ordnungen und Modulhandbuch

Studiengangsspezifische Prüfungs- und Studienordnung (SPSO M.Sc. IN vom 31.07.2013) inkl. Anlagen

  • Anlage 1: Prüfungs- und Studienplan
  • Anlage 2: Modulübersicht und Modulbeschreibungen
  • Anlage 3: Diploma Supplement (Deutsch)
  • Anlage 4: Diploma Supplement (Englisch)

Erste Satzung zur Änderung der Studiengangsspezifischen Prüfungs- und Studienordnung (SPSO M.Sc. IN vom 27.09.2016)