---

I like puzzles, feta cheese and travelling. When I'm not daydreaming (therefore, mostly at night) I study logic and computation with applications to machine reasoning.

Currently, I'm a postdoc in Valda team of DI ENS.

I was born in Moscow and learned to walk, talk and quick-sort there. I did a PhD from 2021 to 2025 in the mountains of South Tyrol, under the guidance of Alessandro Artale and Nicola Gigante. Check my cv for more details.

Temporal Description Logics. Imagine a graph that evolves in time by adding, removing and changing its nodes and edges. Logical formulas can describe such evolution of discrete structures, much like differential equations describe that of continuous processes. Formulas are combined into "logical programs" used to derive implicit information and answer queries over the data. With Camille Bourgaux, Michaël Thomazo, and Roman Kontchakov, we have been studying connections between such programs and formal grammars, obtaining some nice theoretical and algorithmic results [1] [2].

Ontoplex: ontology of complexity, i.e. a high-level and machine-readable representation of knowledge in computational complexity theory. With Oliver Kutz and Nicolas Troquard, we have made the first steps in ontological modelling of the domain. My current focus is on expanding these findings and making them practical; a very preliminary implementation can be found here.

Previously, I also worked on formal verification of finite-state reactive systems.

---

In Autumn 2026, I'm teaching a course in theory of computation at the PSL's International BSc in AI programme.

Previously, I taught discrete mathematics, computability, and logic at HSE University. I was also a TA for probability theory and algorithms courses at the Free University of Bozen-Bolzano.

PC membership: DL Workshop (2026).

Awards: "Best paper" at JOWO (2024), DL Workshop (2025 and 2026). "Outstanding paper" at ECAI (2025).

My favourite language learning app: Busuu.