Biography

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.

Publications