About me

I am a research in Kotlin team at JetBrains and going to be a PhD student at IST Austria from the Fall. I got both bachelor and master degrees at ITMO University, where I have been also teaching a course on concurrency programming. I am mainly interested in concurrent algorithms, their verification, and practical applicable code analysis approaches. See my projects, publications and given talks on this site.

Research interests

  • Concurrent data structures and algorithms
  • Concurrent programs verification
  • Code analysis


IST Austria, ViennaPhD in Computer Science
2018 – PRESENT

ITMO University, St. PetersburgMaster in Computer Science
2016 – 2018\

ITMO University, St. PetersburgBachelor in Computer Science
2012 – 2016


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

Work experience

IST Austria, ViennaScientific intern
Worked on supporting relaxed data structures in Lin-Check tool for testing concurrent algorithms, and an algorithm for a rendezvous channel for CSP programming.

Devexperts (dxLab), St. PetersburgResearch engineer

  • Worked on some research projects, which are described in Projects page
  • Student guidance and supervision
  • Interviews

ITMO University, St. PetersburgTutor
Teaching a course on concurrent programming

Devexperts, St. PetersburgSoftware developer
MARCH 2014 – JULY 2016


Grant of Foundation for Assistance to Small Innovative Enterprises in Science and Technology
JUNE 2016 – JUNE 2018 (400 000 rubles)
Development of a tool for dynamic potential deadlock detection

Volunteer experience

Northeastern European Regional Contest (NEERC), St. PetersburgTechnical Committee Volunteer
OCTOBER – NOVEMBER 2013, 2014, 2015

  • Semifinal of ACM ICPC
  • Took part in organisation of technical processes
  • Solved different technical problems before and during contest

Thumbtack Cup, OmskJury
MARCH 2014 – APRIL 2014
Individual programming contest provided by Thumbtack company

  • Author of some problems
  • Conducted problem review

ACM ICPC World Finals, St. PetersburgVolunteer
JULY 2013 – JULY 2013

Language proficiency

  • Russian – native
  • English – upper intermediate