Robin Ziemek

Dr.-Ing. Robin Ziemek is a Researcher at the International Center for Computational Logic (ICCL) within the Faculty of Computer Science at Dresden University of Technology. His work focuses on probabilistic causality, Markov decision processes, and logical modeling of computational systems.

Recent Research Trends: His publications since 2021 systematically explore causality analysis in probabilistic models, including formal characterizations of probability-raising causality, operational semantics for causal reasoning, and verification techniques for Markovian systems. Key themes include bridging logical explications with computational verification and advancing causal modeling in decision processes.

Notable Contributions: His 2024 thesis (Probabilistic Causality in Markovian Models) establishes foundational frameworks for causal analysis in Markov chains and decision processes, with applications to system verification and artificial intelligence.