I am a researcher in the Kotlin team at JetBrains and lead a Concurrent Computing lab at JetBrains Research, working on a PhD in the field of concurrency at the same time. I got both bachelor’s and master’s degrees at ITMO University in St. Petersburg, where I have also been teaching a course on Concurrent Programming for over five years. My primary research interests are concurrent data structures and algorithms, their verification, and practically applicable code analysis. See my projects, publications, and given talks on this website. I am also extremely happy to have been supervised by Dan Alistarh from IST Austria and Roman Elizarov from JetBrains.

Work experience

JetBrains ResearchLead of the Concurrent Computing lab
Conduct research on concurrent algorithms and approaches to test them, guide students. See the Projects page and the list of publications for details.

Primarily, work on synchronization and communication primitives for Kotlin Coroutines (which will be an essential part of my PhD) and improve the Lincheck tool for testing concurrent data structures.

ITMO University, St. PetersburgTutor
Teaching a course on Concurrent Programming.

IST Austria, KlosterneuburgScientific intern
Worked on supporting relaxed data structures in the Lincheck tool for testing concurrent algorithms and on an algorithm for the synchronous queue, later published at EuroPar’19.

Devexperts, St. PetersburgResearch engineer
JULY 2016 – JUNE 2018
Worked on several research projects, including the Lincheck tool for testing concurrent data structures and the Dl-Check tool for finding potential deadlocks at run-time. Guided students, helped in organizing summer internships.

Devexperts, St. PetersburgSoftware developer
MARCH 2014 – JULY 2016
Developed new features in a high-performance messaging library as well as in financial platforms.

Recent service

Hydra 2022, 2021, 2020, 2019 (PC member)
PPoPP 2019 (Artifact evaluation committee)


IST Austria, KlosterneuburgPhD student in CS
2018 – 2019 (had to interrupt due to conflicts of interests)

ITMO University, St. PetersburgMaster in CS
2016 – 2018

ITMO University, St. PetersburgBachelor in CS
2012 – 2016


Summer School on Practice and Theory of Distributed Computing, St. Petersburg
8 – 12 JULY 2019

Winter School on Formal Verification, Jerusalem
17 – 21 DECEMBER 2017

Summer School on Weak Memory Consistency, St. Petersburg
28 AUGUST 2017 – 1 SEPTEMBER 2017

Summer School on Practice and Theory of Concurrent Computing, St. Petersburg
3 – 7 JULY 2017


Grant of Foundation for Assistance to Small Innovative Enterprises in Science and Technology
JUNE 2016 – JUNE 2018 (400 000 ₽, about €5500)
Dynamic potential deadlock detection tool development.

Volunteer experience

ICPC World Finals 2020, 2013Volunteer

NEERC 2015, 2013, and 2013, St. PetersburgTechnical Committee Volunteer
Northeastern European Regional Contest

Thumbtack Cup 2014, OmskJury
Individual programming contest provided by Thumbtack company