Home

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

Currently, I'm a postdoctoral researcher at the Institute of Computer Science, University of Warsaw, in the group of Filip Mazowiecki. 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, my work follows three interconnected threads:

• weighted automata and matrix semigroups -- connected symbolic algorithms for linear and polynomial algebra -- connected algebraic program analysis;

• nonnegative matrix theory and combinatorial automata theory (including synchronising automata);

• variable-length codes and connected semigroup theory (check out the excellent book "Codes and Automata").

In these areas, I study combinatorial, algorithmic, complexity and algebraic questions. I also really like bullet lists and typewriter-style dashes.

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.

Short bio: 

2025--present: postdoc at the Institute of Computer Science, University of Warsaw, working with Filip Mazowiecki.

2022--2024: postdoc at the Department of Computer Science, University of Oxford, working with Christoph Haase.

2020--2022: postdoc at City, University of London, working with Laure Daviaud.

2017--2020: PhD student at Laboratoire d'Informatique Gaspard-Monge at Université Paris-Est (currently Université Gustave Eiffel; don't ask), supervised by Dominique Perrin.

2016--2017: M.Sc. student at Université Grenoble Alpes, supervised by András Sebő.

2015--2016: research assistant at the Laboratory of Mathematical Cybernetics, United Institute of Informatics Problems, National Academy of Sciences, Belarus, supervised by Mikhail Y. Kovalyov. 

2010--2015: B.Sc. student at the Faculty of Applied Mathematics and Computer Science, Belarusian State University, supervised by Mikhail Y. Kovalyov and Yury L. Orlovich.