Graduated from the Saint Petersburg Academic University in 2012. Apart from JetBrains, also works at the SPbAU.
Valery's research interests include dependently typed languages, (homotopy) type theory and their categorical models.
Contextually indexed contextual categories
Indexed type theories
Morita equivalences between algebraic dependent type theories [Preprint]
On fibrant objects in model categories
Model structures on categories of models of type theories
Model category of marked objects
Algebraic Presentations of Dependent Type Theories