CV

Table of contents

Academic and professional appointments

  • 2026–present
    Postdoc researcher
    TU Wien, Austria
  • 2022–2026
    Predoc researcher
    TU Wien, Austria
  • 2016–2022
    Researcher
    JetBrains Research, Russia

Education

  • 2026
    PhD in Computer Science
    TU Wien, Austria
    • MSCA COFUND doctoral programme LogiCS@TUWien (Logical Methods in Computer Science).
    • Supervisor: Agata Ciabattoni
    • Thesis title: Analytic Methods for Logics of Conditional Reasoning.
  • 2020
    MSc in Applied Mathematics and Informatics
    Higher School of Economics, Russia
    • Specialization: Programming Languages.
    • Supervisor: Dmitry Boulytchev.
    • Thesis title: Certified Semantics of MiniKanren programming language.
  • 2018
    BSc in Applied Mathematics and Physics
    St Petersburg Academic University of the Russian Academy of Sciences, Russia
    • Specialization: Programming Languages.
    • Supervisor: Dmitry Boulytchev.
    • Thesis title: Relational search with better refutational ability.

Awards

  • 2025
    • Martin Purvis Student Best Paper Award, PRIMA 2025.
    • Best Student Paper Prize and Runner-up Best Paper Prize, JELIA 2025.
  • 2023
    • Ray Reiter Best Paper Prize, KR 2023.

Research visits

  • Dec 2024–Jan 2025
    Research stay
    Institut de Recherche en Informatique de Toulouse (IRIT), Toulouse, France
    • Host: Emiliano Lorini.
  • Mar–Jun 2019
    Research stay
    Lab for AI and Verification, Heriot-Watt University, Edinburgh, UK
    • Host: Ekaterina Komendantskaya.

Student supervision

  • 2025
    Co-supervisor of Christian Köll's master's thesis
    TU Wien, Austria
    • Thesis title: SMT-Based Automated Reasoning for Åqvist’s Deontic Logic.
    • Main supervisor: Agata Ciabattoni.

Academic service

  • Reviewing and subreviewing
    • Journal of Applied Non-Classical Logics
    • ACM/IEEE Symposium on Logic in Computer Science (LICS)
    • EACSL Annual Conference on Computer Science Logic (CSL)
    • International Conference on Advances in Modal Logic (AiML)
    • International Conference on Deontic Logic and Normative Systems (DEON)
    • International Conference on Logic, Rationality and Interaction (LORI)
  • Organizing committee
    • DEON 2025, Vienna, Austria.
    • RISE-MSCA project MOSAIC workshop, Vienna, Austria, 2025.