| Nov 29, 2024 |
I’ll defend my PhD thesis on 29 November.
|
| Oct 14, 2024 |
I visited Anuj Dawar and Benedikt Pago at the University of Cambridge.
|
| Jul 16, 2024 |
Our new preprint NPA Hierarchy for Quantum Isomorphism and Homomorphism Indistinguishability (with Prem Nigam Kar, David E. Roberson, and Peter Zeman) is now available on arXiv.
In this paper, we give a more elementary proof of the breakthrough result by Mančinska and Roberson [FOCS 2020] equating homomorphism indistinguishability over planar graphs and quantum isomorphism by characterising the feasibility of each level of the NPA semidefinite programming hierarchy for quantum isomorphism as a homomorphism indistinguishability relation over a suitable class of planar graphs of bounded treewidth.
Check it out!
|
| Jul 8, 2024 |
An extended version of our paper Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability (with David E. Roberson) was accepted for the Diamond Open Access journal TheoretiCS.
|
| Jun 25, 2024 |
My paper An Algorithmic Meta Theorem for Homomorphism Indistinguishability was accepted for MFCS 2024. See you in Bratislava!
|
| Feb 15, 2024 |
My new preprint An Algorithmic Meta Theorem for Homomorphism Indistinguishability is now available on arXiv.
The slides of the talk I gave about it at AlMoTh 2024 are also online. Check them out!
|
| Dec 13, 2023 |
Our paper The Complexity of Homomorphism Reconstructibility (with Jan Böker, Louis Härtel, Nina Runde, and Christoph Standke) was accepted for STACS 2024.
|
| Nov 16, 2023 |
I gave a talk at the 2nd Workshop on Logic, Graphs, and Algorithms (LoGAlg).
Check out my slides!
|
| Oct 28, 2023 |
Our papers Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism Indistinguishability
(with Moritz Lichter and Benedikt Pago) and
Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth
(with Eva Fluck and Gian Luca Spitzer) were accepted for CSL 2024.
|
| Oct 16, 2023 |
We’ve uploaded a new preprint to arXiv:
Check out The Complexity of Homomorphism Reconstructibility
(with Jan Böker, Louis Härtel, Nina Runde, and Christoph Standke)!
|
| Aug 19, 2023 |
We’ve uploaded two new preprints to arXiv:
Check out Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism Indistinguishability
(with Moritz Lichter and Benedikt Pago) and
Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth
(with Eva Fluck and Gian Luca Spitzer)!
|
| Jul 25, 2023 |
I gave a talk at Highlights of Logic, Games, and Automata.
Check out my slides.
|
| Jul 18, 2023 |
I gave a talk at Resources and Co-Resources: A Junction between Semantics and Descriptive Complexity at the University of Cambridge.
Check out my slides.
|
| Jul 10, 2023 |
I gave a talk titled Syntax and Semantics of Homomorphism Indistinguishability at the Adjoint Homomorphism Counting Workshop (ad hoc), an ICALP 2023 workshop.
Check out my slides.
|
| Jun 27, 2023 |
My paper Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors was accepted for MFCS 2023.
|
| Jun 23, 2023 |
I attended the Copenhagen Summer of Counting & Algebraic Complexity organised by Radu Curticapean at ITU Copenhagen.
|
| Apr 26, 2023 |
I gave a talk at the Comonads Meetup titled Homomorphism Indistinguishability for Comonadists.
Check out my slides.
|