Associate Researcher
Current-Part of the "Computational Logic" group headed by Prof. Sebastian Rudolph 5.19-9.20. Part of the "Logic Programming and Argumentation" group headed by Dr. Sarah Gaggl 10.20-present. -Funded by the Deutsche Forschungs Gemeinschaft (DFG) through the Transregional Collaborative Research Centre "Foundations of Perspicuous Software Systems" (CPEC) 1.5.19-31.12.22. -Funded by the Federal Ministry of Education and Research BMBF through the "Center for Scalable Data Analytics and Artificial Intelligence" (ScaDS.AI) 1.1.23-present.