Dmitry Rozplokhas

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