News
Accreditation as KIT Junior Research Group and KIT Associate FellowshipAccreditation as KIT Junior Research Group and KIT Associate Fellowship
February 13, 2026

The Council for Research and Promotion of Young Scientists (CRYS) at KIT has formally recognized the scientific and financial independence of the Scalable Automated Reasoning group and bestowed the protected title of KIT Junior Research Group (KIT-Nachwuchsgruppe). Find more information at: https://www.yin.kit.edu/english/3539.php
Moreover, Dominik Schreiber has successfully undergone a formal procedure to obtain the status of a KIT Associate Fellow. "With the status KIT Associate Fellow, KIT offers outstanding young scientists the opportunity to participate in the doctoral procedures of their own group members."