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