One of my main interests is classifying groups according to the decidability and complexity of various algorithmic problems, such as the Diophantine problem. I am also fascinated by formal languages and automata theory, especially their many interactions with algorithmic group theory.
The complexity of downward closures of indexed languages (with Corto Mascle and Georg Zetzsche)
The Boone-Higman Theorem and decision problems (with Francesco Matucci)
Quadratic equations in metabelian Baumslag-Solitar groups (with Alexander Ushakov) International Journal of Algebra and Computation, Vol. 33, No. 06: 1195-1216 (2023)
The Diophantine problem for systems of algebraic equations with exponents (with Alexander Ushakov) Journal of Algebra, Vol. 636, No. 15: 779-803 (2024)