Yurii Kostyukov


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. Working on master's thesis at SPSU.

Professional Activity

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