Semigroup algorithmic problems in metabelian groups (short version)
Decision problems in sub-semigroups of metabelian groups (long version)
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 Z2
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]