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.
- Interactive theorem proving
- Type systems and logics
- Heap analysis
- High-order Horn clauses and functional programs
Programming Languages and Tools Lab Researcher
- Formal verification group