Петр Лозов

Петр Лозов


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

Биография

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

Публикации

Relational Interpreters for Search Problems

2019

Proceedings of the 2019 miniKanren and Relational Programming Workshop

Подробнее

Typed Relational Conversion

2018

Petr Lozov, Andrey Vyatkin, Dmitry Boulytchev

18th International Symposium on Trends in Functional Programming

Подробнее