I am a postdoctoral researcher in the Computational Logic Group at TU Dresden. Before that, I worked as a research associate at the Chair for Foundations of Programming. During my time as a doctoral student I was a scholarship holder in the DFG Research Training Group QuantLA.
Komplette Publikationsliste anzeigen
Center for Scalable Data Analytics and Artificial Intelligence