Биография
Окончил математико-механический факультет СПбГУ в 2016 году, получив диплом бакалавра по программной инженерии.
Публикации
- Proceedings of the 2019 miniKanren and Relational Programming Workshop, 2019
-
2018
18th International Symposium on Trends in Functional Programming
-
Лаборатория языковых инструментов Исследователь
- Функциональное и реляционное программирование