Timm Spork Master of SciencePerson AffiliationsChair of Algebraic and Logical Foundations of Computer Science- Academic Stafftimm.spork@tu-dresden.de Identification Numbers ORCID 0009-0008-4461-0667