Dmitry Rozplokhas
 |
University Assistant, MSc Institute of Logic and Computation Theory and Logic Group TU Wien Room: HA0407 |
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.
Education
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
Publications
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
