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
- September 2018
- arXiv, June 2018
- arXiv, April 2018
- Theory and Applications of Categories, Vol. 33, No. 3, 2018, pp. 43–66., 2018
- Mathematical Structures in Computer Science, September 2017
- arXiv, October 2016
- arXiv, February 2016
-
HoTT and Dependent Types Group Researcher
- Developing languages for interactive theorem provers