Reactive Systems Group

Get In Touch! We are always looking for talented students and researchers to join our team. Check out our research areas and student projects to learn more about what we do.

Student Projects Research Areas

Teaching

Show all

The Hitchhiker's Guide to Hyperproperties

Seminar · Winter 2026/2027

Security requirements often depend on how several executions of a system relate to one another. This seminar explores the logics and model-checking algorithms that make those hyperproperties precise.

Organized by: Bernd Finkbeiner, Mishel Carelli and N. Ege Saraç Course page

Functional Programming and Verification

Core Lecture · Summer 2026

The course provides an introduction to functional programming and program verification. We use the programming language OCaml to study the fundamental concepts of functional programming. We cover notions like recursion, higher-order functions, polymorphic types, and constructors, as well as static and dynamic semantics and the verification of functional programs.

Organized by: Bernd Finkbeiner, Iona Kuhn, Julian Erhard, N. Ege Saraç, Aleksy Feliks Idzikowski, Alexander Glas, Manuel Lerchner, Aziz Abderrahmane Ben Othmane, Cihan Demirci, Conrad Laurenz Fischer, Darina Grigoriu, Ferdinand Schenk, Ilya Kats, Leonie Houzer, Leopold Cario, Matei-Alexandru Florescu, Paul Schadauer, Tjorben Huber, Tobias Vale and Yi Rui Cui Visit Course

Coinductive Proofs

Advanced lecture · Summer 2025

Proofs by induction appear everywhere in theoretical computer science; you certainly encountered them on many occasions, starting with the lecture Programming 1. Another essential proof method, less well-known but equally useful, is coinduction.

Organized by: Arthur Correnson, Bernd Finkbeiner and Iona Kuhn Visit Course

Reactive Systems Group

Research & Grants

People

Featured Publications

Teaching