Dmitry Rozplokhas

Dmitry Rozplokhas


Research Groups

Biography

  • 2014–2018 – Bachelor's student, St Petersburg Academic University (St Petersburg, Russia)
  • 2018–2020 – Master's student, Higher School of Economics (St Petersburg, Russia)
  • Spring of 2019 – Visiting student, Heriot-Watt University (Edinburgh, Scotland)
  • 2020–present – PhD student, St Petersburg State University (St Petersburg, Russia)

Professional Activity

  • Logic (relational) programming
  • Mechanized semantics of programming languages
  • Structural proof theory

Publications

Certified Semantics for miniKanren

2019

Proceedings of the 2019 miniKanren and Relational Programming Workshop

Read more

Improving Refutational Completeness of Relational Search via Divergence Test

2018

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

Read more