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.
- Interactive theorem proving
- Types and logics
- Programming languages memory models
- Heap analysis
Programming Languages and Tools Lab Researcher
- Formal verification group