Forschungsschwerpunkte
Algorithmen und Symmetrie
- Symmetrieerkennung und Symmetrieausnutzung
- Das Graphenisomorphieproblem (Theorie und Praxis)
- Algorithmische und strukturelle Graphentheorie
- Algorithmische und strukturelle Gruppentheorie
- Computeralgebra
ERC-Projekt EngageS
EngageS: Next Generation Algorithms for Grabbing and Exploiting Symmetries
OSCAR Computer Algebra System
OSCAR, an innovative Open Source Computer Algebra Research system that powers cutting-edge computations in algebra, geometry, and number theory.
Symbolic Tools in Mathematics and their Application (SFB-TRR 195)