New KIT Junior Research Group on Scalable Automated Reasoning (SAtRes)
Electronic hardware design, mathematical theorem proving, and verifying the security of critical systems are just a few examples of use for automated reasoning. “We understand Automated Reasoning as the algorithmic exploration of a formal rule set in order to deduce formally precise properties,” says Dominik Schreiber. His group conducts research at the intersection of algorithm engineering, parallel computing, and formal methods and develops efficient solving approaches for logical problems.
The Council for Research and Promotion of Young Scientists (CRYS) has now formally recognized the scientific and financial independence of the Scalable Automated Reasoning group and bestowed the protected title of “KIT Junior Research Group.” The recognition certifies the high quality of the group and paves the way to further opportunities and perspectives at KIT such as becoming YIN member or participating in doctoral procedures as KIT Associate Fellows. Dominik Schreiber is principal investigator for several third-party funded projects.