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 preparing to defend my PhD thesis, written at unibz under the guidance of Alessandro Artale and Nicola Gigante.

I was born in Moscow and learned to walk, talk and quick-sort there. Since 2021, I've been living in South Tyrol. Check my cv for more details.

---

Logic Programs for Temporal Graphs

A temporal graph evolves in time by adding, removing and changing its nodes and edges. A logic program uses logical reasoning to derive implicit information from the facts present in the graph and answer queries.

The "complexity" of the logical inference determines how fast the answer to the query is computed. With Alessandro Artale, Vladislav Ryzhikov and Michael Zakharyaschev, we work on identifying the features of programs that make them slow to compute.

With Camille Bourgaux and Michaël Thomazo, we have established a correspondence between a certain language for temporal logical queries on graphs and conjunctive grammars, i.e. context-free grammars equipped with the operation of intersection.

Side Project: Ontoplex

An ontology (a.k.a. knowledge graph) of computational complexity. With Oliver Kutz and Nicolas Troquard, we are building a machine-readable representation of our (i.e. mine, Oliver's, Nicolas's and of the rest of the humanity) knowledge about computational complexity.

When ready, it can be used to query, visualise and automatically process the "big picture of complexity theory", something that is now available only in the heads of the experts.

We see applications in education, facilitation of research, and (as a bold dream) automated discovery of new results.

---

My favourite language learning app: Busuu.

---