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.
|