Title: Principles of Probabilistic Programming 
Lecturer: Prof. Joost-Pieter Katoen 
Abstract:  
Probabilistic programming combines probability theory, statistics and -- most importantly from a modeling point of view -- programming languages. They allow to model a much larger class of models in a rather succinct manner. The full potential of modern probabilistic programming languages comes from automating the process of inferring unobserved variables in the model conditioned on observed data more detail

Title: Concurrent Programming 
Lecturer: Prof. Holger Hermanns 
Abstract:  
Multi cores, graphics cards and other parallel architectures that execute tasks concurrently can nowadays be found in almost all computers, laptops and smartphones. Orchestrating such systems so that they work efficiently is a true challenge. If one believes in the predictions of hardware manufacturers, ... more detail

Title: CryptoLine: Verifying Low-level Mathematical Constructs in Real Cryptographic Programs 
Lecturer: Prof. Bow-Yaw Wang 
Abstract:  
Cryptographic programs are widely used in computer systems. From on-line banking to identification cards, sensitive information is encrypted by various cryptosystems from computer cryptography. Cryptographic programs ... more detail

Title: Beyond Hybrid Automata 
Lecturer: Prof. Martin Fränzle 
Abstract:  
For a quarter of a century, hybrid automata and closely related models have served as a workhorse for capturing and formally analyzing the coupled dynamics of discrete and continuous components within cyber-physical systems (CPS). Despite continuous progress concerning scalability both in the continuous and the discrete state space as well as concerning the shapes of continuous dynamics covered, the underlying computational model increasingly shows its limitations... more detail

Title: Foundations of Cyber-Physical Systems 
Lecturer: Prof. Stefan Mitsch 
Abstract:  
Cyber-physical systems (CPS) are today pervasively embedded into our lives and increasingly act in close proximity as well as with direct impact to humans. For example, driver assistance systems in cars are responsible for controlling acceleration and braking on the basis of distance sensors... more detail