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.
- Design, implementation and analysis of programming languages
- Types and semantics
- Certified programming
Programming Languages and Tools Lab Researcher, Graduate Student