Валерий Исаев

Биография

В 2012 году окончил магистратуру Санкт-Петербургского академического университета. Помимо работы в JetBrains, преподает в родном университете.

Научные интересы: языки с зависимыми типами, (гомотопическая) теория типов и их категориальные модели.

Публикации