Jakob Piribauer

Jakob Piribauer serves as a Researcher at TU Dresden's Faculty of Computer Science, specifically within the International Center for Computational Logic (ICCL) and the Algebraic and Logical Foundations of Computer Science research group. His primary affiliation is with the university's computer science faculty, where he conducts theoretical research in computational logic and probabilistic systems.

His research centers on Theoretical Computer Science with a focus on Formal Methods and Probabilistic Systems. Key areas include causality in Markov decision processes, stochastic games, model checking, and linear dynamical systems. His work integrates logic, probability theory, and game theory to develop foundational frameworks for reasoning about uncertainty and decision-making in computational models.

Analysis of his recent publications (2022-2024) shows consistent contributions to probability-raising causality, backward responsibility in transition systems, and entropic risk in stochastic games. His research demonstrates a trajectory toward unifying causal reasoning with probabilistic verification, with applications in artificial intelligence and formal methods.

No scientific awards were listed in the provided information.

Information regarding student advising and research grants was not available in the source material.

Dr. Piribauer is an active member of the Algebraic and Logical Foundations of Computer Science research group at ICCL, TU Dresden. This group operates within the Faculty of Computer Science and focuses on the mathematical and logical aspects of computation, including automata theory, verification, and logic programming.