Seit Juli 2025 wird unser Team von Felix Pribyl als wissenschaftlicher Mitarbeiter im Bereich formale Methoden und von Yuliia Dmitriieva im Sekretariat verstärkt. Wir freuen uns sehr, die beiden für unseren Lehrstuhl gewonnen zu haben.