Петр Лозов

Исследовательские группы

Окончил математико-механический факультет СПбГУ в 2016 году, получив диплом бакалавра по программной инженерии.

2019

Proceedings of the 2019 miniKanren and Relational Programming Workshop

2018

Petr Lozov, Andrey Vyatkin, Dmitry Boulytchev

18th International Symposium on Trends in Functional Programming