News
Group Kick-OffGroup Kick-Off
October 1, 2024
Welcome to the website of the Scalable Automated Reasoning (SAtRes) group. October 1st, 2024 marks the kick-off of this KiKIT-funded young investigator group led by Dominik Schreiber that aims to push the frontiers of automated reasoning in parallel and distributed systems.
The group is structurally part of the Institute of Information Security and Dependability (KASTEL) and has strong ties to the Algorithm Engineering group, with Prof. Peter Sanders acting as a mentor to Dominik Schreiber.
To allow for a quick ramp-up, we are looking for a doctoral researcher as well as student minijobbers (HiWis) effective immediately. Please contact us if you are interested to join or otherwise cooperate with our group!