Yurii Kostyukov

Biography

Graduated from the SECS USU. Enrolled at SPSU, the Mathementics and Mechanics Faculty, Department of Computer Science in 2015. In 2017/2018 academic year became a member of symbolic .NET VM development team.

Professional Activity

  • Interactive theorem proving
  • Types and logics
  • Programming languages memory models
  • Heap analysis