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 PhD student at the krdb group of unibz supervised by 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.

---

Main Project: Logic Programs for Temporal Graphs

A temporal graph evolves in time by adding, removing and changing nodes and edges. A logic program works over temporal graphs: it 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.

Extended abstract: Alessandro Artale, Anton Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev. A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract). Description Logics 2023. (link)

---

My favourite language learning app: Busuu.

---