I am a postdoctoral research associate at the Department of Computer Science, University of Oxford. I work with Christoph Haase on the "ARiAT: Advanced Reasoning in Arithmetic Theories" project.
Previously I was a postdoctoral research associate at City, University of London, working with Laure Daviaud on decision problems for cost register automata.
I got my PhD in 2020 from Laboratoire d'Informatique Gaspard-Monge at Université Paris-Est (currently Université Gustave Eiffel), under supervision of Dominique Perrin. The topic of my thesis was "Synchronizing automata and coding theory".
I got my M.Sc from Université Grenoble Alpes. My advisor there was András Sebő. Before that I worked for a year as a Research Assistant at the Laboratory of Mathematical Cybernetics, United Institute of Informatics Problems, National Academy of Sciences, Belarus (advisor Mikhail Y. Kovalyov). In 2015 I graduated from Belarusian State University with B.Sc, where my advisors were Mikhail Y. Kovalyov and Yury L. Orlovich.
I am interested in automata theory and logic, especially their combinatorial and algorithmic aspects, as well as applications to coding theory and verification. More generally, I enjoy learning about computational and extremal questions in theoretical computer science.