Mikhail is undergraduate student in Mathematics and Mechanics Department of St. Petersburg State University.
At the moment he is engaged in the symbolic execution of programs with strings.
- Tools for automated code analysis
- Functional Programming
- String analysis
- Heap analysis
Programming Languages and Tools Lab Researcher
- Formal verification group