Guest lecture by Johannes Leupolz

Dr. Johannes Leupolz will give a talk in the elite program’s special lecture series. The title of the talk is “Qualitative and quantitative analysis of safety-critical systems with S#” and it will take place virtually as an online meeting at 10AM on July 1st 2021.


Safety-critical systems are expected to operate safely under regular circumstances as well as in many degraded situations. In the latter case, these systems have to cope with one or more components that are not working as specified, while at the same time they have to avoid (serious) economical or environmental damage, injuries, or even loss of lives. S# provides a modeling language specifically designed to express important safety-related concepts such as faults and the physical environment of a safety-critical system. For safety assessments, model simulations as well as formal safety analyses are supported.

Guest lecture by Iraklis Psaroudakis

Iraklis Psaroudakis from Oracle Labs in Zurich will give a talk in the elite program’s special lecture series. The title of the talk is “Introduction to Graph Processing and Analytics (with PGX)” and it will take place virtually as an online meeting at 4:00PM on July 15th 2021.


Graph analytics are one of the top data analytics trends. We begin by explaining why organizations are so keen on modeling data as a graph to express entities and their relationships as first-class citizens. Graphs allow to more easily gain complex insights from data (e.g., retail, healthcare or financial data) through a mix of expressive and powerful graph processing approaches: graph algorithms, querying, and machine learning. We drill down on each one of these three approaches, the differences between graph analytics/algorithms (such as Pagerank [1]) and graph queries (such as (:person)-[:friend]→(:person)), how they can be used, and the processing challenges they pose. We describe how Oracle Lab’s [2] in-memory graph processing framework, Parallel Graph Analytix (PGX) [3], tackles these processing challenges to develop a high-performance processing solution for large-scale graphs. Next, we continue to show how graphs can be created, modified, queried and visualized using Oracle Labs Data Studio’s interactive visual notebooks. Finally, we focus on a prominent real-world use case: we describe how Oracle’s Financial Crime and Compliance Studio (FCC Studio [4]) uses graph analytics & visualization to help a bank analyze its data and fight financial crime. We describe how this goal requires solving several technical & research challenges, and how we approach them. One of the major challenges is combining graph, entity resolution, machine learning, and big data techniques to correlate a bank’s internal customer data with external data (e.g., watchlists) into a financial graph, and help investigators detect patterns of criminal activity.



Iraklis Psaroudakis is a Principal Member of Technical Staff at Oracle Labs (Switzerland). His research interests include analytical & graph workloads, parallel programming, OS/runtime-system interaction, machine learning, and financial crime & compliance. Prior to Oracle, he completed his Ph.D. at the Data-Intensive Application and Systems (DIAS) Laboratory of EPFL, Switzerland, focusing on scaling up highly concurrent analytical database workloads on multi-socket multi-core servers through (a) sharing data and work across concurrent queries, and (b) adaptive NUMA-aware data placement and task scheduling. During his Ph.D., he cooperated with the SAP HANA database team. Before starting his Ph.D., he completed his studies in Electrical & Computer Engineering at the National Technical University of Athens (NTUA), Greece.

Guest lecture by Max Tschaikowski

Max Tschaikowski from Aalborg University will give a talk in the elite program’s special lecture series. The title of the talk is “Algorithmic reduction of quantitative models” and it will take place virtually as an online meeting at 4:30PM on July 8th 2021.


Differential equations are ubiquitous in quantitative modeling and allow to model, for instance, power grids, epidemic forecasts or protein-interaction networks. Unfortunately, the simulation of many realistic models is computationally prohibitive due to their large size. An approach for the simplification of difficult problems is model reduction where the idea is to formally relate the original model to a smaller model which can be solved more efficiently.

In this talk, I will provide a high-level introduction to simulation-preserving reductions of differential equations. Specifically, we will show that polynomial differential equations can be encoded as graphs which, in turn, can be efficiently reduced by means of partition refinement algorithms in the style of Paige and Tarjan. The reduction of arbitrary differential equations, instead, will be reduced to SAT. The talk will finish with applications to biological models.

Guest lecture by Jan Peleska

Jan Peleska from the University in Bremen will give a talk in the elite program’s special lecture series. The title of the talk is “An Introduction to SysML” and it will take place virtually as an online meeting at 4PM on July 1st 2021.


The System Modeling Language SysML is one of the most widely used wide-spectrum formalisms for model-based systems engineering (MBSE). It has been elaborated as a profile of the Unified Modeling Language UML, with emphasis on systems modelling. Just like UML, it has been standardised by the Object Management Group OMG. We briefly introduce the SysML 1.6 components for modelling

  • Structure (Blocks, Ports, Connectors, Flows and associated Block Definition Diagrams and Internal Block Diagrams)
  • Behaviour (State Machines, Activities, Interactions, Use Cases)

When compared to other (formal or semi-formal) modelling languages, SysML has some unique selling points:

  • Requirements are “first-class citizens” of the SysML language: they are represented by specific language elements, and they can be associated with other model elements for the purpose of requirements tracing.
  • Physical laws can be specified in re-usable model libraries by means of so-called constraint blocks.
  • For a concrete system, the laws can be imported, and their formal parameters may be bound to concrete system parameters.
  • The standardised XML-based internal representation of SysML models and its meta models (so-called XMI-format) allows for effective model-based code generation.

Despite these unique selling points, SysML has been criticised to be fairly complex to handle in practise. We explain the main reasons behind this criticism: the syntax may be regarded as too rich, and the static and behavioural semantics are quite complex, since they have to be traced back to UML via the profile mechanism. Moreover, graphical notation is not as well-supported by existing modelling tools as textual programming with today’s IDEs like Eclipse, MS Developer, or Xcode. This criticism has led to the (not yet fully standardised) definition of SysML v2, whose highlights will be briefly sketched to conclude the talk.

Since the size of the SysML is really enormous, we can sketch many aspects of this language only briefly in this overview talk. However, detailed references to the literature will be given.

Guest lecture by Karola Klarl

Karola Klarl from BMW will give a talk in the elite program’s special lecture series. The title of the talk is “Agile@BMW – Uni-Theorie und Unternehmens-Wirklichkeit” and it will take place virtually as an online meeting at 4:30PM on June 10th 2021.


Scrum, Kanban, Lean, SAFe, … – Agile Begriffe und Theorien gibt es viele, aber wie sieht das eigentlich in der Realität aus? Welche täglichen Herausforderungen treten auf, für die es keine Lehrbuch-Lösung gibt? Und was hat das ganze eigentlich mit dem SE-Studiengang zu tun?
Basierend auf meinen Erfahrungen als Agile Master bei BMW möchte ich euch meine Antworten auf diese Fragen geben.

Guest lecture by Kilian Telschig

Kilian Telschig from Siemens will give a talk in the elite program’s special lecture series. The title of the talk is “Dynamic Reconfiguration in the Real-Time Container Architecture” and it will take place virtually as an online meeting at 4PM on May 27th 2021.


The real-time container architecture does not only enable component-based software engineering for industrial control systems: Components can be updated during full operation despite hard end-to-end real-time requirements — even in case of compatibility-breaking changes — thanks to a novel approach for synchronous reconfiguration. I will motivate the need for dynamic reconfiguration in industrial automation and then present the real-time container architecture with a deep dive on the reconfiguration concepts. Background: the real-time container architecture is an evaluation platform for R&D purposes at Siemens Technology, mainly including my ongoing PhD work.

Guest lecture by Prof. Dr. Andreas Vogelsang

Prof. Dr. Andreas Vogelsang from the University at Cologne will give a talk in the elite program’s special lecture series. The title of the talk is “Requirements Engineering for Machine Learning” and it will take place virtually as an online meeting at 4PM on May 20th 2021.


Machine Learning als Technologie ist immer häufiger Bestandteil von Systemen, die in der Praxis gebaut werden. Sollte uns das als Requirements Engineers interessieren? In diesem Vortrag werde ich diese Frage mit „JA“ beantworten und erläutern, warum es beim Einsatz von Machine Learning als Teil der Lösung notwendig ist neue Arten von funktionalen und nicht-funktionalen Anforderungen zu erheben und zu analysieren. Ich werde deutlich machen, dass Requirements Engineers sich auch bis zu einem gewissen Grad mit Machine Learning und vor allem mit dessen Besonderheiten auseinandersetzen müssen. In meiner Forschung setze ich seit mehreren Jahren Machine Learning Verfahren ein um Aufgaben im RE zu automatisieren oder zu unterstützen. Dabei ist über die Jahre immer deutlicher geworden, dass Domänenwissen und ein gutes Requirements Engineering fundamental ist um Machine Learning Techniken gewinnbringend einzusetzen. Die Inhalte meines Vortrags werde ich anhand von konkreten Beispielen aus der Praxis erläutern und illustrieren.

Application for 2021 is open

The application period for the winter intake 2021 has started. For instructions on how to apply, please visit our application web-site.

Guest lecture by Benjamin Heinrich from MaibornWolff

Benjamin Heinrich from MaibornWolff will give a talk in the elite program’s special lecture series. The title of the talk is “Die besten Entwickler sind auch super Tester” and it will take place virtually as an online meeting at 4PM on January 28th 2021.


Sauberen und cleveren Code zu schreiben ist eine wichtige Voraussetzung, um als Entwickler erfolgreich zu sein. Das alleine wird nur leider nicht reichen. Für Entwickler wird es immer wichtiger auch Testen zu können.

In größeren Softwareprojekten werdet ihr immer mit anderen gemeinsam in den Coderepos arbeiten und proprietäre oder opensouce Libraries nutzen. Leider wird dieser Code, den ihr dann benutzt, nicht frei von Bugs sein und wenn ihr nicht darüber Bescheid wisst, werden diese Bugs zu euren Bugs.

Es gibt zum Glück vieles, was ihr dagegen unternehmen könnt:

  • Automatisierte Tests schreiben
  • Fragen stellen
  • uvm.

Informationsveranstaltungen 2021

Der Elitestudiengang Software Engineering bietet im Januar und Februar Informationsveranstaltungen an den beteiligten Universitäten an:

  • Ludwig-Maximilians-Universität München: 21.1.2021 ab 16:00 Uhr
  • Universität Augsburg: 27.01.2021 ab 16:00 Uhr
  • Technische Universität München: 3.2.2021 ab 16:30 Uhr

Die Informationsveranstaltungen werde als Onlinekonferenzen durchgeführt. Wenn Sie gerne teilnehmen möchten, schreiben Sie eine E-Mail an:

Hierbei werden wir die Details des Studiengangs und des Bewerbungsverfahrens vorstellen und die Vorteile und Besonderheiten des Studiengangs darstellen.

Der Masterstudiengang Software Engineering bietet ein deutschlandweit einmaliges Ausbildungsprogramm und qualifiziert bestens für herausfordernde Tätigkeiten in Praxis und Wissenschaft.