Дмитрий Розплохас

Дмитрий Розплохас


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

Биография

  • 2014–2018 – Студент-бакалавр, Санкт-Петербургский Академический Университет (Санкт-Петербург, Россия)
  • 2018–2020 – Студент-магистр, Высшая Школа Экономики (Санкт-Петербург, Россия)
  • Весна 2019 – Приглашенный студент, Университет Хериота-Уатта (Эдинбург, Шотландия)
  • 2020–н.в. – Аспирант, Санкт-Петербургский государственный университет (Санкт-Петербург, Россия)

Профессиональная активность

  • Логическое (реляционное) программирование
  • Механизированные семантики языков программирования
  • Структурная теория доказательств

Публикации

Certified Semantics for miniKanren

2019

Proceedings of the 2019 miniKanren and Relational Programming Workshop

Подробнее

Improving Refutational Completeness of Relational Search via Divergence Test

2018

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming

Подробнее