International Colloquium on Automata, Languages and Programming · 2021
Cited
19
Resume (English only)
Academic Achievements
PhD thesis 'Homomorphism Indistinguishability' (Nov 2024): explores characterizations of graph isomorphism relaxations via homomorphism indistinguishability, including Sherali–Adams and Lasserre hierarchies.
Co-authored paper 'Homomorphism Indistinguishability Relations induced by Quantum Groups' (with Gian Luca Spitzer), providing an alternative proof of the Mančinska–Roberson characterization of quantum isomorphism and classifying related quantum group-induced relations.
Invited tutorial at Finite and Algorithmic Model Theory 2025 (Les Houches, France, May 2025).
Talk at ARCO workshop (May 2025) on symmetric circuits and homomorphism polynomials (joint work with Anuj Dawar and Benedikt Pago).
Presented at the 'Graph Learning Meets Theoretical Computer Science' workshop, Simons Institute (August 2025).