Chair
Secretary
Group Members
Students working on Bachelor/Master Theses
- Sai Keerthana Krishna Kumar (June-Dec): Modular Verification of Safety Properties by Controller Synthesis
- Lars Hemmerling (June-Nov): Evaluation of Processing Unit Chaining in Buffered Exposed Datapath Architectures
- Iron Prando da Silva (Aug-Jan): Evaluation of MLIR as an Intermediate Representation for Dataflow Process Networks
- Fabian Dietrich (Nov-May): Dynamic Dataflow Actor Merging with Internal Token Buffering
- Ryan Antipow (Dec-Jun): Extending Allocations of Processing Units for Higher Instruction Level Parallelism
- completed theses
Alumni
- Yu Bai
- Daniel Baudisch
- Kerstin Bauer
- Anoop Bhagyanath
- Jens Brandt
- Marc Dahlem
- Mike Gemünde
- Raffaella Gentilini
- Manuel Gesell
- Tripti Jain
- Reinhard Kirchner
- Martin Köhler
- Xian Li
- Andreas Morgenstern
- Omair Rafique
- Alessandro Romero
- Julius Roob
- Tobias Schüle
- Maximilian Senftleben
- Thomas Türk
- Eric Vecchié
- Xiao Wang
- Adrian Willenbücher
- Roberto Ziller
- Gerhard Zimmermann