Mikhail Kosticyn

Biography

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.

Professional Activity

  • Tools for automated code analysis
  • Functional Programming
  • String analysis
  • Heap analysis