Исаев Валерий Иванович

Email: 
valery.isaev [at] gmail.com
Научные интересы: 
языки с зависимыми типами, (гомотопическая) теория типов и её категориальные модели

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