Doctoral College Logical Methods in Computer ScienceStefan SzeiderJan 1, 2024Go to Project SiteCurrent Research ProjectsStefan SzeiderHead of Research UnitStefan Szeider is a Professor at the Algorithms and Complexity Group.
