Submonoid Membership in n-dimensional lamplighter groups and S-unit equations
ICALP 2025, Aarhus, Denmark (July 2025) [slides (short version)]
Semigroups, Automata and Languages seminar, University of Porto (online) (December 2024) [slides (long version)]
S-unit equations in modules
Workshop on Loop Invariants and Algebraic Reasoning, Aarhus, Denmark (July 2025) [slides]
The Identity Problem in virtually solvable matrix groups over algebraic numbers
LICS 2025, Singapore (June 2025) [slides]
S-unit equations and the Diophantine problem in abelian-by-cyclic groups
Workshop on the Diophantine Problem in one-relator inverse monoids, University of East Anglia, UK (May 2025) [slides]
Linear equations with monomial constraints and decision problems in abelian-by-cyclic groups (short version of above talk)
SODA 2025, New Orleans, USA (January 2025) [slides]
Semigroup algorithmic problems in metabelian groups
Decision problems in sub-semigroups of metabelian groups (long version of above talk)
Séminaire "Groupes et Géométrie", University of Geneva, Switzerland (March 2024)
Group theory seminar, Ecole Normale Supérieure, France (November 2023) [slides] [video]
AG1 Mittagsseminar, MPI for Informatics, Germany (June 2023)
Logic Advanced Class, Mathematical Institute, University of Oxford, UK (May 2023)
The Identity Problem for nilpotent groups of bounded class
SODA 2024, Alexandria, USA (January 2024) [slides]
Verification series seminar, University of Liverpool, UK (May 2022) [slides]
Decidability problems in infinite semigroups
Automata Theory Seminar, University of Warsaw, Poland (November 2023)
Algorithmic Aspects of Dynamical Systems, Bellairs Research Institute, Barbados (May 2023)
Termination of linear loops under commutative updates
ISSAC 2023, Tromsø, Norway (July 2023) [slides]
The Identity Problem in Z≀Z is decidable
The Identity Problem in the special affine group of Z^2
LICS 2023, Boston, USA (June 2023) [slides]
Semigroup intersection problems in the Heisenberg Groups
STACS 2023, Hamburg, Germany (March 2023) [slides]
Solving homogeneous linear equations over polynomial semirings
STACS 2023, Hamburg, Germany (March 2023) [slides]
On the Identity Problem for unitriangular matrices of dimension four
RP 2022, MPI-SWS Kaiserslautern, Germany (October 2022) [slides]
OFCOURSE series, MPI-SWS Kaiserslautern, Germany (October 2022)
MFCS 2022, Vienna, Austria (August 2022)
IRIF verification seminar, Paris, France (March 2022)
A new algorithm for finding the input-output equations of differential models
MAX team seminar, Ecole Polytechnique, France (October 2020) [slides]