In 2018 graduated from Saint-Petersburg State University, the Department of Mathematics and Mechanics with a bachelor's degree. Currently, he is pursuing his master’s at the same department. The bachelor's thesis was written on the topic «Composite partially defined types in the symbol interpreter for the .NET Framework».
Programming Languages and Tools Lab Researcher
- Formal verification group