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.
- 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