Home

(please be aware that I am moderately face-blind; this means that from time to time by brain fails the task of recognising faces, even of people I know very well; please don't take it personally)

News: I will be in the PC of RP 2025. Please consider submitting!

I work in mathematics and theoretical computer science. This activity is quite similar to contemporary art, where you are an artist and a critic at the same time. It's also the most solid kind of castles in the air.

Research (and other) interests: I like to think about unambiguous automata in my working time, and about ambiguous novels in my free time (though the line between the two is somewhat blurry). More generally, I am interested in the interactions between algebra, combinatorics and algorithms, motivated by problems in weighted automata and matrix reachability. I'm also interested in the theory of codes and semigroup theory--please check out the excellent book "Codes and Automata" on this topic.

Research philosophy: I am a very social kind of researcher. I really enjoy collaborating (especially face to face), I think better when I'm discussing things with others, and I really like learning about what other people are doing. I am driven by the idea of understanding things more than of solving particular problems, and I definitely hoot more than I croak. I try to build bridges as much as possible. I appreciate good applications, but my passion is theory.

Positions: 

2025--present: Postdoc (adiunkt) at MIMUW, University of Warsaw, working with Filip Mazowiecki on whatever we find interesting (weighted automata, matrix semigroups, etc.).

2022--2024: Postdoc at the Department of Computer Science, University of Oxford, working with Christoph Haase on the "ARiAT: Advanced Reasoning in Arithmetic Theories" project.

2020--2022: Postdoc at City, University of London, working with Laure Daviaud on decision problems for weighted automata and cost register automata.

2017--2020: PhD student at Laboratoire d'Informatique Gaspard-Monge at Université Paris-Est (currently Université Gustave Eiffel; don't ask), under the supervision of Dominique Perrin. The topic of my thesis was "Synchronizing automata and coding theory".

2016--2017: M.Sc. student at Université Grenoble Alpes. The advisor of my thesis there was András Sebő.

2015--2016: Research assistant at the Laboratory of Mathematical Cybernetics, United Institute of Informatics Problems, National Academy of Sciences, Belarus. My supervisor there was Mikhail Y. Kovalyov. 

2010--2015: B.Sc. student at Belarusian State University. The advisors of my thesis there were Mikhail Y. Kovalyov and Yury L. Orlovich.