Biography

Graduated in 2014 from the Saint Petersburg State University, Mathematics & Mechanics Faculty, Department of Computer Science. Currently, Daniil works on his Ph.D. thesis at the Department of Computer Science at Math & Mech Faculty in SPbSU. Also, he works as a lecturer at the Department of Mathematics and Information Technology at the Academic University, and researcher at JetBrains.

Professional Activity

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

Publications