Valery Isaev

Valery Isaev


Research Groups

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

Contextually indexed contextual categories

September 2018

Valery Isaev

Read more

Indexed type theories

June 2018

Valery Isaev

arXiv

Read more

Morita equivalences between algebraic dependent type theories [Preprint]

April 2018

Valery Isaev

arXiv

Read more

On fibrant objects in model categories

2018

Valery Isaev

Theory and Applications of Categories, Vol. 33, No. 3, 2018, pp. 43–66.

Read more

Model structures on categories of models of type theories

September 2017

Valery Isaev

Mathematical Structures in Computer Science

Read more

Model category of marked objects

October 2016

Valery Isaev

arXiv

Read more

Algebraic Presentations of Dependent Type Theories

February 2016

Valery Isaev

arXiv

Read more