About:

Hi! I’m a PhD in computer science. I wrote my PhD thesis on traversal-based normalization in March 2018. I graduated from the St. Petersburg State University, Mathematics and Mechanics Faculty, Department of Computer Science in 2014. Nowadays, I am a senior researcher at Programming Languages and Tools Lab, JetBrains Research, The Netherlands.

Areas of interest:

• Design, implementation and analysis of programming languages
• Meta-programming, meta-computations, and program transformations
• Compilers and program optimizations
• Programming languages semantics
• Types in programming languages
• Functional programming
• Relational & logic programming
• Certified programming