Hello there!

Glad to see you here, I hope you are doing great!

This page provides a brief, incomplete, and probably not entirely up-to-date information about me.

Currently, I am a senior lecturer at Innopolis University in Russia. I teach a variety of subjects, including «Data Structures and Algorithms», «Programming Paradigms», and «Programming in Haskell».

My research interests include purely functional programming, type theory, and category theory. I am working on a proof assistant for synthetic ∞-categories (see rzk).

I am also a co-founder at GetShop.TV, an interactive television platform in Russia, with ad servers powered by Haskell!