Dmitry Rozplokhas

University Assistant, MSc
Institute of Logic and Computation
Theory and Logic Group

TU Wien
Favoritenstraße 9–11
1040 Wien, Austria

Room: HA0407
Email: ta.cigolnull@yrtimd


Research Interests
Modal Logic, Structural Proof Theory, Non-monotonic reasoning, Automated Deduction

Current Position
I am a PhD student in the Doctoral College Logics for Computer Science at TU Wien (LogiCS@TUWien) that is co-funded by the EC H2020 Marie Skłodowska-Curie COFUND, within the Theory and Logic group under the supervision of Prof. Agata Ciabattoni.

MSc in Applied Mathematics and Informatics at Higher School of Economics (Russia), 2020
BSc in Applied Mathematics and Physics at St. Petersburg Academic University, 2018


For an up-to-date list of publications, please visit TU Wien Informatics | Dmitry Rozplokhas.

Dmitry Rozplokhas, Dmitry Boulytchev. Scheduling Complexity of Interleaving Search. International Symposium on Functional and Logic Programming (FLOPS), 2022
Dmitry Rozplokhas, Andrey Vyatkin, Dmitry Boulytchev. Certified Semantics for Relational Programming. Asian Symposium on Programming Languages and Systems (APLAS), 2020
Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold. The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them. International Conference on Logic Programming (ICLP), 2020
Dmitry Rozplokhas, Dmitry Boulytchev. Improving Refutational Completeness of Relational Search via Divergence Test. International Symposium on Principles and Practice of Declarative Programming (PPDP), 2018

Event Organization
MOSAIC Workshop 2023 organizing committee