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

Биография

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

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

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

Публикации