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.