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

Education

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

Courses

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

Work experience

IST Austria, ViennaScientific intern
FEBRAURY – JUNE 2018
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
JULY 2016 – PRESENT

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

ITMO University, St. PetersburgTutor
SEPTEMBER 2016 – PRESENT
Teaching a course on concurrent programming

Devexperts, St. PetersburgSoftware developer
MARCH 2014 – JULY 2016

Grants

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