About me
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 Research – Lead of the Concurrent Computing lab
AUGUST 2020 – PRESENT
Conduct research on concurrent algorithms and approaches to test them, guide students. See the Projects page and the list of publications for details.
JetBrains — Researcher
JUNE 2018 – PRESENT
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. Petersburg — Tutor
SEPTEMBER 2016 – PRESENT
Teaching a course on Concurrent Programming.
IST Austria, Klosterneuburg — Scientific intern
FEBRAURY – JUNE 2018
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. Petersburg — Research 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. Petersburg — Software 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)
Education
IST Austria, Klosterneuburg — PhD student in CS
2018 – 2019 (had to interrupt due to conflicts of interests)
ITMO University, St. Petersburg — Master in CS
2016 – 2018
ITMO University, St. Petersburg — Bachelor in CS
2012 – 2016
Schools
Summer School on Practice and Theory of Distributed Computing, St. Petersburg
8 – 12 JULY 2019
https://sptdc.ru
Winter School on Formal Verification, Jerusalem
17 – 21 DECEMBER 2017
http://ias.huji.ac.il/CSE2
Summer School on Weak Memory Consistency, St. Petersburg
28 AUGUST 2017 – 1 SEPTEMBER 2017
https://people.mpi-sws.org/~viktor/wmc
Summer School on Practice and Theory of Concurrent Computing, St. Petersburg
3 – 7 JULY 2017
http://neerc.ifmo.ru/sptcc
Grants
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, 2013 — Volunteer
NEERC 2015, 2013, and 2013, St. Petersburg — Technical Committee Volunteer
Northeastern European Regional Contest
Thumbtack Cup 2014, Omsk — Jury
Individual programming contest provided by Thumbtack company