Biography

Daniil graduated from the St. Petersburg State University, Mathematics and Mechanics Faculty, Department of Computer Science in 2014. Currently, he is working on his Ph.D. thesis at the same department. He also works as a lecturer at the Department of Mathematics and Information Technology at the Academic University and as researcher at JetBrains.

Professional Activity

  • Design, implementation and analysis of programming languages
  • Metaprogramming
  • Types and semantics
  • Certified programming

Publications