Biography

Daniil is a PhD in computer science. He wrote his PhD thesis on traversal-based normalization in March 2018. Daniil graduated from the St. Petersburg State University, Mathematics and Mechanics Faculty, Department of Computer Science in 2014. Nowadays, he is the head of Metacomputations and Distributed Technologies research group of Programming Languages and Tools Lab in JetBrains Research. He also works as a lecturer at the Department of Computer Science at the Higher School of Economics.

PhD Thesis (in Russian)

Professional Activity

  • Design, implementation and analysis of programming languages
  • Meta-programming and meta-computations
  • Types and semantics
  • Certified programming

Academic Advising

  • Nikita Michin, Mathematics & Mechanics Faculty of SPbSU, master's student
  • Ivan Tyulyandin, Mathematics & Mechanics Faculty of SPbSU, master's student
  • Alexey Tyurin, Mathematics & Mechanics Faculty of SPbSU, master's student
  • Ilya Balashov, Mathematics & Mechanics Faculty of SPbSU, bachelor student

Publications