Yurii Kostyukov

Research Groups


Graduated from the SECS USU'15. In 2017/2018 academic year became a member of symbolic .NET VM development team. Graduated with honor as a Software Engineer at SPSU, the Mathementics and Mechanics Faculty, Department of Computer Science in 2019. Graduated as a master at SPSU in 2021.

Professional Activity

  • Interactive theorem proving
  • Type systems and logics
  • Heap analysis
  • High-order Horn clauses and functional programs


Beyond the elementary representations of program invariants over algebraic data type


Kostyukov Yurii, Dmitry Mordvinov, and Grigory Fedyukovich